1. Turing A. M., “On computable numbers, with an application to the ‘Entscheidungsproblem.’ A correction,” Proc. London Math. Soc., vol. 43, no. 2, 544–546 (1937).
2. Robinson R., “Review of R. Péter’s book ‘Rekursive Funktionen’,” J. Symb. Log., vol. 16, no. 4, 280–282 (1951).
3. Ko K., “On the continued fraction representation of computable real numbers,” Theoret. Comput. Sci., vol. 47, 299–313 (1986).
4. Kreitz Ch. and Weihrauch K., “Theory of representations,” Theoret. Comput. Sci., vol. 38, no. 1, 35–53 (1985).
5. Kreitz Ch. and Weihrauch K., “Representations of the real numbers and of the open subsets of the set of real numbers,” Ann. Pure Appl. Logic, vol. 35, no. 3, 247–260 (1987).