Specification and verification of object-oriented software components - Roth, Andreas; Schmitt, P. H. (KIT Scientific Publishing, Karlsruhe, 2006)