1. A. I. Mal’tsev, “On Recursive Abelian Groups,” Dokl. Akad. Nauk SSSR 146(5), 1009–1012 (1962) [Sov. Math., Dokl. 32, 1431–1434 (1963)].
2. A. I. Mal’tsev, “Constructive Algebras. I,” Usp. Mat. Nauk 16(3), 3–60 (1961) [Russ. Math. Surv. 16 (3), 77–129 (1961)].
3. A. Fröhlich and J. C. Shepherdson, “Effective Procedures in Field Theory,” Philos. Trans. R. Soc. London, Ser. A 248, 407–432 (1956).
4. S. I. Adyan, “Unsolvability of Some Algorithmic Problems in the Theory of Groups,” Tr. Mosk. Mat. Obshch. 6, 231–298 (1957).
5. S. I. Adyan, “The Problem of Identity in Associative Systems of a Special Form,” Dokl. Akad. Nauk SSSR 135(6), 1297–1300 (1960) [Sov. Math., Dokl. 1, 1360–1363 (1960)].