1. O. Aberth, Computable Analysis, McGraw-Hill, New York 1980.
2. S. Banach and S. Mazur, Sur les fonctions calculables, Ann. Soc. Pol. de Math. 16 (1937) 223.
3. E. Bishop and D. S. Bridges, Constructive Analysis, Springer, Berlin 1985.
4. V. Brattka, Computable invariance, Theoret. Comp. Sci.
210 (1999) 3–20.
5. V. Brattka, Computability of Banach space principles, Informatik Berichte 286, FernUniversität Hagen, Fachbereich Informatik, Hagen, June 2001.