1. Yu. L. Ershov,Decidability Problems and Constructive Models [in Russian], Nauka, Moscow (1980).
2. H. Rogers,Theory of Recursive Functions and Effective Computability, McGraw-Hill, New York (1967).
3. A. I. Mal'tsev, “Recursive Abelian groups,”Dokl. Akad. Nauk SSSR,24, No. 2, 1009–1012 (1962).
4. A. T. Nurtasin, “On constructive groups,” inProc. IV All-Union Conf. Math. Logic, Kishinev (1976), p. 106.
5. V. P. Dobritsa, “Some constructivizations of Abelian groups,”Sib. Mat. Zh.,24, No. 2, 18–25 (1983).