Modular specification and verification of object-oriented programs - Müller, Peter, 1972- (Lecture notes in computer science ;, 2002)