"Specification and Verification of Object-Oriented Software Components" - читать интересную книгу автора (Andreas Roth)