Alessandro Coglio Marieke Huisman Joseph Kiniry Peter Müller Erik Poll Formal Techniques for Java-Like Programs (FTfJP). 76-83 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3344&spage=76 2004 conf/ecoopw/2004 ECOOP Workshops db/conf/ecoopw/ecoopw2004.html#CoglioHKMP04