"Formal Specification and Documentation Using Z: A Case Study Approach" - читать интересную книгу автора (Jonathan Bowen)