Formal Methods for Open Object-Based Distributed Systems - Gianluigi Zavattaro - E-bok | Bokus