1. A. A. Markov, “Impossibility of some algorithms in associative systems,” Dokl. Akad. Nauk SSSR, 55, No. 7, 587-590 (1947).
2. E. L. Post, “Recursive unsolvability of a problem of Thue,” J. Symb. Log., 12, No. 1, 1-11 (1947).
3. P. S. Novikov, “On the algorithmic unsolvability of the word problem in group theory,” Tr. MIAN SSSR, 44, 3-143 (1955).
4. G. S. Tseitin, “An associative calculus with an insoluble problem of equivalence,” Tr. MIAN SSSR, 52, 172-189 (1958).
5. G. S. Makanin, “On the identity problem in finitely defined semigroups,” Dokl. Akad. Nauk SSSR, 171, No. 2, 285-287 (1966).