"Integrated Formal Methods" - читать интересную книгу автора (Michael Butler, Luigia Petre, Kaisa Sere)