Modular Specification and Verification of Object-Oriented Programs - Müller, Peter (Verfasser) (Lecture Notes in Computer Science, 2002)