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.