@phdthesis{Nordio09, author = {Martin Nordio}, title = {Proofs and Proof Transformations for Object-Oriented Programs}, school = {ETH Zurich, Switzerland}, year = {2009}, number = {18689}, urltopdf = {http://se.inf.ethz.ch/people/nordio/papers/Nordio09.pdf} }