Elie Najm Uwe Nestmann Perdita Stevens Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings FMOODS Lecture Notes in Computer Science 2884 Springer 2003 3-540-20491-1 db/conf/fmoods/fmoods2003.html