Books by International Conference on Formal Methods for Open Object-Based Distributed Systems (3rd 1999 Florence, Italy) on BookTides.