Elvira Albert Anindya Banerjee Sophia Drossopoulou Marieke Huisman Atsushi Igarashi Gary T. Leavens Peter Müller Tobias Wrigstad Formal Techniques for Java-Like Programs. 70-76 2008 ECOOP Workshops http://dx.doi.org/10.1007/978-3-642-02047-6_8 conf/ecoopw/2008 db/conf/ecoopw/ecoopw2008.html#AlbertBDHILMW08