"Modular Specification and Verification of Object-Oriented Programs" - читать интересную книгу автора (Peter Müller)