"Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, " - читать интересную книгу автора (Roberto Gorrieri, Heike Wehrheim)