"Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1, FMOODS 2003" - читать интересную книгу автора (Elie Najm, Uwe Nestmann, Perdita Stevens)