Liste des citations dans Numdam pour : La théorie des fonctions récursives et ses applications. (Exposé d'information générale)
Bulletin de la Société Mathématique de France, Tome 88 (1960), pp. 393-468.
Séminaire Bourbaki : vol. 1970/71, exposés 382-399,
Séminaire Bourbaki, no. 13 (1971), Exposé no. 383, 18 p.
Séminaire Bourbaki : années 1962/63 - 1963/64, exposés 241-276,
Séminaire Bourbaki, no. 8 (1964), Exposé no. 266, 41 p.