Processus communicants : un langage formel et ses modèles : problèmes d'analyse. (Communicating processes: a formal language and his models: analysis problems). - Juan Manuel Pereira-Fernandez (1984)