Formal Methods for Open Object-Based Distributed Systems IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15?18, 1999, Florence, Italy - Ciancarini, Paolo. (Springer US,)