Barthe G. Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings / / edited by Gilles Barthe, Frank S. Boer. // Springer eBooks. URL: http://dx.doi.org/10.1007/978-3-540-68863-1