1. Goncharov S. S. and Knight J. F., “Computable structure and non-structure theorems,” Algebra and Logic, vol. 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 [Russian], Dis. Kand. Fiz.-Mat. Nauk, Inst. Mat. Mekh., Alma-Ata (1974).
5. Nurtazin A. T., “Strong and weak constructivization and computable families,” Algebra and Logic, vol. 13, no. 3, 177–184 (1974).