1. Agha, Gul, and De Cindio, Fiorella. “Workshop on Object-Oriented Programming and Models of Concurrency.” 16 th International Conference on Application and Theory of Petri Nets, ICATPN’95, Torino, Italy. Gul Agha, and Fiorella De Cindio, organizers. (1995)
2. Agha, Gul, De Cindio, Fiorella and Yonezawa, Akinori. “2”d International Workshop on Object-Oriented Programming and Models of Concurrency.“ 17’ h International Conference on Application and Theory of Petri Nets, ICATPN’96, Osaka, Japan. Gul Agha, Fiorella De Cindio, and Akinori Yonezawa, editors. (1996)
3. Barbey, Stéphane, Buchs, Didier and Péraire, Cécile. “Overview and Theory for Unit Testing of Object-Oriented Software.” Tagungsband “Qualitätsmanagement Der Objektorientierten Software-Entwicklung”, Basel, Switzerland. (1996) 73–112.
4. Barbey, Stéphane, Buchs, Didier and Péraire, Cécile. “A Theory of Specification-Based Testing for Object-Oriented Software.” European Dependable Computing Conference (EDDC2), Taormina, Italy. Lecture Notes in Computer Science, no. 1150. Springer-Verlag (1996) 303–20.
5. Bastide, Rémi. “Objets Coopératifs: Un Formalisme Pour La Modélisation Des Systèmes Concurrents.” Ph.D. thesis, Université Toulouse I II (1992).