1. S. S. Goncharov, “On the problem of the number of nonequivalent constructivizations,”Algebra Logika, 19, No. 6, 621–639 (1980).
2. Yu. L. Ershov,Decidability Problems and Constructive Models [in Russian], Nauka, Moscow (1980).
3. A. I. Mal'tsev,Algorithms and Recursive Functions [in Russian], Nauka, Moscow (1980).
4. H. Rogers,Theory of Recursive Functions and Effective Computability, McGraw-Hill, New York (1967).
5. K. Zh. Kudaibergenov, “On effectively homogeneous models,”Sib. Mat. Zh., 27, No. 1, 180–182 (1986).