1. Goncharov S. S. and Knight J. F., “Computable structure and non-structure theorems,” Algebra and Logic, 41, No. 6, 351–373 (2002).
2. Ershov Yu. L. and Goncharov S. S., Constructive Models, Ser. Siberian School of Algebra and Logic, Kluwer Academic/Plenum Publishers, New York, etc. (2000).
3. Ash C. J. and Knight J. F., Computable Structures and the Hyperarithmetical Hierarchy, Elsevier, Amsterdam (2000) (Stud. Logic Found. Math.; V. 144).
4. Nurtazin A. T., Computable Classes and Algebraic Criteria of Autostability [in Russian], Dis. Kand. Fiz.-Mat. Nauk, Inst. Mat. Mekh., Alma-Ata (1974).
5. Goncharov S. S. and Marchuk M. I., “Index sets of constructive models of bounded signature which are autostable relative to strong constructivizations,” Algebra and Logic (to be published).