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) Gabriel Sabbagh (1974/1975) Séminaire Bourbaki
Coding in the existential theory of concatenation. J. R. Büchi, St. Senger (1987) Archiv für mathematische Logik und Grundlagenforschung
Combinatorial systems defined over one- and two-letter alphabets. Ch.E. Hughes, W.E. Singletary (1975) Archiv für mathematische Logik und Grundlagenforschung