Malcolm Tyrrell Andrew Butterfield Alexis Donnelly OO-Motivated Process Algebra: A Calculus for CORBA-like Systems. 2000 conf/room/2000 Rigorous Object-Oriented Methods http://ewic.bcs.org/conferences/2000/objectmethods/papers/paper9.htm db/conf/room/room2000.html#TyrrellBD00