1. Ershov Yu. L. and Goncharov S. S., Constructive Models, Consultants Bureau, New York, etc. (2000) (Siberian School of Algebra and Logic).
2. Ash C. J. and Knight J. F., Computable Structures and the Hyperarithmetical Hierarchy, North-Holland, Amsterdam (2000) (Studies in Logic and the Foundations of Mathematics; Vol. 144).
3. Ershov Yu., Problems of Solubility and Constructive Models, Nauka, Moscow (1980) [Russian].
4. Brattka V., Hertling P., and Weihrauch K., “A tutorial on computable analysis,” in: New Computational Paradigms, Springer, New York (2008), 425–491.
5. Weihrauch K., Computable Analysis, Springer, Berlin (2000) (Texts in Theoretical Computer Science. An EATCS Series).