Wolfgang Ahrendt Bernhard Beckert Reiner Hähnle Philipp Rümmer Peter H. Schmitt Verifying Object-Oriented Programs with KeY: A Tutorial. 70-101 2006 FMCO http://dx.doi.org/10.1007/978-3-540-74792-5_4 conf/fmco/2006 db/conf/fmco/fmco2006.html#AhrendtBHRS06