Liste des citations dans Numdam pour : Arbres infinis et systèmes d'équations
RAIRO. Informatique théorique, Tome 13 (1979) no. 1, pp. 31-48.
Publications du Département de mathématiques (Lyon), Compte rendu des journées infinitistes, no. 2B (1985), pp. 91-95.