1. Dehn, M.: Über unendliche diskontinuierliche Gruppen. Math. Ann. 71, 116–144 (1911)
2. Miller III, ChF: On Group-Theoretic Decision Problems and Their Classification, AMS, vol. 68. Princeton University Press, Princeton (1971)
3. Novikov, P.S.: Unsolvability of the conjugacy problem in the theory of groups. Izv. Akad. Nauk SSSR Ser. Mat. 18(6), 485–524 (1954)
4. Novikov, P.S.: On the algorithmic unsolvability of the word problem in group theory. Trudy Mat. Inst. Steklov. 44, 3–143 (1955). (in Russian)
5. Boone, W.W.: Certain simple unsolvable problems of group theory. Indag. Math. 16, 231–237, 492–497 (1954)