Michalis Glykas, Paul Wilhelmij, Tony Holden: Verifiable Object Oriented Designs. TOOLS (11) 1993: 391-406