1. Yu. L. Ershov, Decidability Problems and Constructive Models [in Russian], Nauka, Moscow (1980).
2. M. I. Kargapolov and Yu. I. Merzlyakov, Fundamentals of Group Theory [in Russian], 2nd ed., Nauka, Moscow (1977).
3. H. Rogers, Jr., Theory of Recursive Functions and Effective Computability, McGraw-Hill, New York (1967).
4. L. Fuchs, Infinite Abelian Groups, Vol. 1, Academic Press, New York (1970).
5. L. Fuchs, Infinite Abelian Groups, Vol. 2, Academic Press, New York (1973).