1. S. I. Adjan,The algorithmic unsolvability of checking certain properties of groups (in Russian). Dokl. Akad. Nauk SSSR103 (1955), 533–535.
2. Contributions to mathematical logic;W. W. Boone,1968
3. —,F. B. Cannonito andR. C. Lyndon, eds.,Word problems. Decison problems and the Burnside problem in group theory, North-Holland Publishing Co., Amsterdam, 1973, xii+646 pp.
4. Lecture Notes in Mathematics;C. D. H. Cooper,1974
5. T. Evans,Schreier varieties of semigroups. Math. Z.112 (1969), 296–299.