Modular specification and verification of object-oriented programs - Muller, Peter, 1972-. (Springer, 2002)