Liste des citations dans Numdam pour : Détermination des jeux boréliens et problèmes logiques associés
Séminaire Bourbaki : vol. 1975/76, exposés 471-488, Séminaire Bourbaki, no. 18 (1977), Exposé no. 478, 14 p.
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 42 (2008) no. 1, pp. 1-4.
Séminaire Bourbaki : volume 1988/89, exposés 700-714,
Astérisque, no. 177-178 (1989), Exposé no. 710, 16 p.
Séminaire Bourbaki : vol. 1976/77, exposés 489-506,
Séminaire Bourbaki, no. 19 (1978), Exposé no. 494, 14 p.