Modular specification and verification of object-oriented programs / - Müller, Peter, (Springer,, 2002)