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