1. Yu. L. Ershov,Theory of Numerations [in Russian], Nauka, Moscow (1977).
2. A. I. Mal'tsev, ?Constructive algebras. I,?Usp. Mat. Nauk,16, No. 3, 2?60 (1961).
3. A. I. Mal'tsev, ?Toward a theory of computable families of objects,?Algebra i Logika,3, No. 4, 5?31 (1964).
4. T. H. Payne, ?Effective extendability and fixed points,?Notre Dame J. Form. Log.,14, No. 1, 123?124 (1973).
5. A. H. Lachlan, ?A note on positive equivalence relations,?Z. Math. Log. und Grundl.,33, No. 1, 43?46 (1987).