"Integrated Formal Methods: 7th International Conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009, Proceedings (Lecture Notes in Computer Science Programming and Software Engineering)" - читать интересную книгу автора (Michael Leuschel, Heike Wehrheim)