1. Arnold, V.I.: On functions of three variables. Dokl. Akad. Nauk SSSR, 114, 679-681 (1957) Translated in: Amer. Math. Soc. Transl. 28, 51–54 (1963)
2. Bishop, E., Bridges, D.S.: Constructive Analysis. Grundlehren der Math. Wissen, vol. 279. Springer, Berlin (1985)
3. Brattka, V.: Computable versions of Baire’s category theorem. In: Sgall, J., Pultr, A., Kolman, P. (eds) Mathematical Foundations of Computer Science. 26th International Symposium, MFCS 2001, Mariánské Lázně, Czech Republic, August 27-31, 2001. Lecture Notes in Computer Science, vol. 2136, 224–235. Springer, Berlin (2001)
4. Brattka, V.: Computability over topological structures. In: Cooper, S.B., Goncharov, S.S. (eds) Computability and Models, 93–136. Kluwer Academic Publishers, New York (2003)
5. Brattka, V.: The inversion problem for computable linear operators. In: Alt, H., Habib, M. (eds) STACS 2003. 20th Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27-March 1, 2003. Lecture Notes in Computer Science, vol. 2607, 391–402. Springer, Berlin (2003)