Liste des citations dans Numdam pour : Caractérisation algébrique des groupes de type fini ayant un problème de mots résoluble (théorème de Boone-Higman, travaux de B. H. Neumann et MacIntyre)
Séminaire Bourbaki : vol. 1974/75, exposés 453-470, Séminaire Bourbaki, no. 17 (1976), Exposé no. 457, 20 p.
Séminaire Bourbaki volume 2012/2013 : exposés 1059-1073 - Avec table par noms d'auteurs de 1948/49 à 2012/13,
Astérisque, no. 361 (2014), Exposé no. 1064, 41 p.
Séminaire Bourbaki : volume 1995/96, exposés 805-819,
Astérisque, no. 241 (1997), Exposé no. 808, 41 p.