@inproceedings{NordioMuellerMeyer08b, author = {Martin Nordio and Peter M\"uller and Bertrand Meyer}, title = {Proof-Transforming Compilation of Eiffel Programs}, booktitle = {TOOLS-EUROPE}, year = {2008}, editor = {Paige, R.}, series = {Lecture Notes in Business and Information Processing}, publisher = {Springer-Verlag}, urltopdf = {http://se.inf.ethz.ch/people/nordio/papers/NordioMuellerMeyer08b.pdf}, springer = {http://www.springerlink.com/content/l6062123888x2w79/?p=4466ff68f6ce4e9498c16fa4392d8834&pi=0} }