Liste des citations dans Numdam pour : On the separating power of EOL systems
RAIRO. Informatique théorique, Tome 17 (1983) no. 1, pp. 13-22.
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 23 (1989) no. 2, pp. 177-194.
Publications du Département de mathématiques (Lyon), Compte rendu des journées infinitistes, no. 2B (1985), pp. 21-36.