"FM 2011 Formal Methods (Lecture Notes in Computer Science, 6664) " - читать интересную книгу автора (Michael Butler, Wolfram Schulte)