"Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings ... Programming and Software Engineering)" - читать интересную книгу автора (John Derrick, Juri Vain)