Langages d'interprétation des schémas récursifs F. G. Cousineau, J.-M. Rifflet (1975) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Les tests et leur caractérisation syntaxique Irène Guessarian (1977) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Logic and functional programming by retractions M. Bellia (1988) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Logic and functional programming by retractions : operational semantics M. Bellia (1988) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications