"Formal techniques for networked and distributed systems-- FORTE 2007: 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29, 2007: proceedings" - читать интересную книгу автора (John Derrick, Jüri Vain)