Formal Methods for Open Object-Based Distributed Systems by Paolo Ciancarini, Hardcover | Indigo Chapters