Specification and verification of object-oriented software components - Roth, Andreas (Verfasser) (KIT Scientific Publishing, 2006)