1. A. Fröhlich and J. Shepherdson, “Effective procedures in field theory,” Philos. Trans. Roy. Soc. London, Ser. A, 248, No. 950, 407–432 (1956).
2. A. I. Mal’tsev, “Constructive algebras. 1,” Usp. Mat. Nauk, 16, No. 3, 3–60 (1961).
3. A. I. Mal’tsev, “On recursive Abelian groups,” Dokl. Akad. Nauk SSSR, 146, No. 5, 1009–1012 (1962).
4. S. S. Goncharov, “Autostable models and algorithmic dimensions,” in Handbook of Recursive Mathematics, Vol. 1, Recursive Model Theory, Yu. L. Ershov et al. (eds.), Stud. Log. Found. Math., 138, Elsevier, Amsterdam (1998), pp. 261–287.
5. E. B. Fokina, V. Harizanov, and A. Melnikov, “Computable model theory,” in Turing’s Legacy: Developments from Turing’s Ideas in Logic, Lect. Notes Log., 42, R. Downey (ed.), Cambridge Univ. Press, Ass. Symb. Log., Cambridge (2014), pp. 124–194.