Books by International Conference on Formal Methods for Open Object-Based Distributed Systems (6th 2003 Paris, France)