Davide Ancona Sophia Drossopoulou Atsushi Igarashi Gary T. Leavens Arnd Poetzsch-Heffter Elena Zucca Formal Techniques for Java-Like Programs. 53-58 2006 conf/ecoopw/2006 ECOOP Workshops http://dx.doi.org/10.1007/978-3-540-71774-4_6 db/conf/ecoopw/ecoopw2006.html#AnconaDILPZ06