Books by International Conference on Formal Methods for Open Object-Based Distributed Systems (12th 2010 Amsterdam, Netherlands) on BookTides.