Liste des citations dans Numdam pour : Systèmes de déduction pour les arbres et les schémas de programmes (I)

RAIRO. Informatique théorique, Tome 14 (1980) no. 3, pp. 247-278.

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 22 (1988) no. 1, pp. 57-92.

Publications du Département de mathématiques (Lyon), no. 2B (1985), pp. 91-95.

RAIRO. Informatique théorique, Tome 16 (1982) no. 4, pp. 349-363.