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