Un modèle fonctionnel des structures de contrôle B. Robinet (1977) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Un sous-ensemble intéressant du français A. Colmerauer (1979) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Une charpente de semi-unification J.-L. Durieux, E. Saint-James (1988) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications