Systèmes de déduction pour les arbres et les schémas de programmes (I) P. Enjalbert — 1980 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Systèmes de déduction pour les arbres et les schémas de programme (II) P. Enjalbert — 1981 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications