Modular specification and verification of object oriented programs - Müller, Peter (Informatik-Berichte, 2001)