Modular specification and verification of object-oriented programs, volume 2263 of LNCS (2002)

by P Müller