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