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 - Paolo Ciancarini, Alessandro Fantechi, Robert Gorrieri ((IFIP Advances in Information and Communication Technology))