List of citations in Numdam for : Systèmes de déduction pour les arbres et les schémas de programmes (I)

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

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Volume 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, Volume 16 (1982) no. 4, pp. 349-363.