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, Fl. ISBN 0792384296. Published by Kluwer Academic in 1999. Publication and catalogue information, links to buy online and reader comments.