1. Yu. L. Ershov, "Constructive models," in: Selected Questions of Algebra and Logic [in Russian], Novosibirsk (1973), pp. 111?130.
2. A. I. Mal'tsev, Algorithms and Recursive Functions [in Russian], Nauka (1965).
3. A. I. Mal'tsev, "Constructive algebras," Uspekhi Matem. Nauk,16, No. 3, 3?60 (1961).
4. A. I. Mal'tsev, "On recursive Abelian groups," Dokl. Akad. Nauk,146, No. 5, 1009?1012 (1962).
5. A. T. Nurtazin, "Category theory without principal model-complete extensions," Algebra i Logika,12, No. 3, 360 (1973).