Martin Nordio, Peter Müller, Bertrand Meyer. Proof-Transforming Compilation of Eiffel Programs. In Richard F. Paige, Bertrand Meyer, editors, Objects, Components, Models and Patterns, 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings. Volume 11 of Lecture Notes in Business Information Processing, pages 316-335, Springer, 2008. [doi]