1. O. V. Kudinov, “Criteria of autostability for 1-decidable models,”Algebra Logika,31, No. 5, 479–492 (1992).
2. S. S. Goncharov, “Autostability and computable families of constructivizations,”Algebra Logika,14, No. 6, 647–680 (1975).
3. Yu. L. Ershov,Decidability Problems and Constructive Models [in Russian], Nauka, Moscow (1980).
4. Yu. L. Ershov,Numeration Theory [in Russian], Nauka, Moscow (1977).
5. C. J. Ash and A. Nerode, “Intrinsically recursive relations,” inAspects of Effective Algebra, Proc. Conf. Monash Univ. (1981), pp. 26–41.