OO-Motivated Process Algebra: A Calculus for CORBA-like Systems. - Malcolm Tyrrell; Andrew Butterfield; Alexis Donnelly (Rigorous Object-Oriented Methods, 2000)