"Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings (Lecture Notes in Computer Science Programming and Software Engineering)" - читать интересную книгу автора (Dominique Méry, Stephan Merz)