"The Way of Z: Practical Programming with Formal Methods" - читать интересную книгу автора (Jonathan Jacky)