John Boyland Dave Clarke Gary T. Leavens Francesco Logozzo Arnd Poetzsch-Heffter Formal Techniques for Java-Like Programs. 99-107 2007 ECOOP Workshops http://dx.doi.org/10.1007/978-3-540-78195-0_10 conf/ecoopw/2007 db/conf/ecoopw/ecoopw2007.html#BoylandCLLP07