"Software Development With Z: A Practical Approach to Formal Methods in Software Engineering" - читать интересную книгу автора (John Wordsworth)