1. Collection of Survey Articles. Vol. 1: To the 50 Years of the Institute;S. I. Adyan,1984
2. W. V. O. Quine, “Concatenation as a basis for arithmetic,” J. Symbolic Logic,11, 105–114 (1946).
3. V. G. Durnev, “On the positive theory of a free semigroup,” Dokl. Akad. Nauk SSSR,211, No. 4, 772–774 (1973).
4. S. S. Marchenkov, “Undecidability of the positive ∀∃-theory of a free semigroup,” Sibirsk. Mat. Zh.,23, No. 1, 196–198 (1982).
5. A. I. Mal'tsev, Algorithms and Recursive Functions [in Russian], Nauka, Moscow (1965).