Formal Methods for Open Object-Based Distributed Systems V door Bart Jacobs, International Conference on Formal Methods for Open Object-Based Distr et al & Arend Rensink