Modular Specification and Verification of Object-Oriented Programs - Müller, Peter; Müller, Peter (Springer Berlin Heidelberg : Imprint: Springer, 2002)