1. A. I. Mal'tsev, "On recursive abelian groups," Dokl. Akad. Nauk SSSR,146, No. 5, 1009–1012 (1961).
2. A. Nerode and J. Remmel, "Recursive theory of matroids II," in: Southeast Asian Conf. on Logic, North Holland, (1983), pp. 133–184.
3. Yu. L. Ershov, Solvability Problems and Constructive Models [in Russian], Nauka, Moscow (1987).