Nondeterminism and fully abstract models Egidio Astesiano, Gerardo Costa (1980) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Note sur la sémantique des structures de contrôle P. Sallé (1979) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Note sur la suppression des étiquettes en programmation F. H. Raymond (1977) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Note sur l'algèbre des fonctions F. H. Raymond (1975) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications