Books by International Conference on Formal Methods for Open Object-Based Distributed Systems (5th 2002 Enschede, Netherlands)