@inproceedings{OOPSLA-2000-BastidePSN,
	author        = "Rémi Bastide and Philippe A. Palanque and Ousmane Sy and David Navarre",
	booktitle     = "{Proceedings of the 15th Conference on Object-Oriented Programming, Systems, Languages and Applications}",
	doi           = "10.1145/353171.353179",
	editor        = "Mary Beth Rosson and Doug Lea",
	isbn          = "1-58113-200-X",
	pages         = "105--117",
	publisher     = "{ACM}",
	title         = "{Formal specification of CORBA services: experience and lessons learned}",
	year          = 2000,
}