@inproceedings{ExpressionLemma, author = "Ralf L{\"a}mmel and Ondrej Rypacek", title = "{The expression lemma}", booktitle = "{Proceedings of Mathematics of Program Construction (MPC) 2008}", publisher = "Springer", series = "LNCS", year = 2008, month = jul, note = {To appear} }