1. Mal’tsev A. I., “Constructive algebras. I,” Russian Math. Surveys, 16, No. 3, 77–129 (1961).
2. Mal’tsev A. I., “On recursive abelian groups,” Soviet Math., Dokl., 32, 1431–1434 (1962).
3. Ershov Yu. L., “Constructive models,” in: Selected Problems of Algebra and Logic [in Russian], Nauka, Novosibirsk, 1973, pp. 111–130.
4. Morley M. D., “Decidable models,” Israel J. Math., 25, No. 3–4, 233–240 (1976).
5. Ershov Yu. L. and Goncharov S. S., Constructive Models, Ser. Siberian School of Algebra and Logic, Kluwer Academic/Plenum Publishers, New York, etc. (2000).