1. S. S. Goncharov and Yu. L. Ershov, Constructive Models, Sib. School Alg. Log. [in Russian], Nauch. Kniga, Novosibirsk (1999).
2. A. I. Mal’tsev, “On recursive Abelian groups,” Dokl. Akad. Nauk SSSR, 146, No. 5, 1009-1012 (1962).
3. A. I. Mal’tsev, “Constructive algebras. 1,” Usp. Mat. Nauk, 16, No. 3, 3-60 (1961).
4. C. C. Chang and H. J. Keisler, Model Theory, North-Holland, Amsterdam (1973).
5. H. Rogers, Theory of Recursive Functions and Effective Computability, McGraw-Hill, New York (1967).