Liste des citations dans Numdam pour : L'universalité des semi-fonctions récursives universelles
Diagrammes, Tome 12 (1984), Exposé no. 2, 12 p.
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 29 (1995) no. 3, pp. 193-208.
Diagrammes, Tome 12 (1984), Exposé no. 1, 47 p.