Rémi Bastide Philippe A. Palanque Ousmane Sy David Navarre Formal specification of CORBA services: experience and lessons learned. 105-117 2000 OOPSLA http://doi.acm.org/10.1145/353171.353179 db/conf/oopsla/oopsla2000.html#BastidePSN00