Modular specification and verification of object-oriented programs (1991)

by G Leavens
Venue:IEEE Software