"Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1, FMOODS 2007" - читать интересную книгу автора (Marcello M. Bonsangue, Einar Broch Johnsen)