1. Yu. L. Ershov, Enumeration Theory [in Russian], Vol. 3, Novosibirsk (1974).
2. A. I. Mal'tsev, "Constructive algebras," Usp. Matem. Nauk,16, No. 3, 3–60 (1961).
3. A. T. Nurtazin, "Strong and weak constructivizations," Algebra i Logika,13, No. 3, 311–323 (1974).
4. R. Cusin, "The number of countable generic models for finite forcing," Fund. Math.,84, No. 3, 265–270 (1974).
5. R. L. Vaught, "Denumerable models of complete theories, Infinitistic methods," Proc. Symp. Foundations of Math., Warsaw, (1961), pp. 303–321.