1. Banach S. (1929). Sur les fonctionnelles linéaires I. Stud. Math. 1: 211–216
2. Banach S. and Mazur S. (1937). Sur les fonctions calculables. Ann. Soc. Pol. Math. 16: 223
3. Bishop E. and Bridges D.S. (1985). Constructive Analysis, Grundlehren der Mathematischen Wissenschaften, Vol. 279. Springer, Berlin
4. Brattka, V.: Computability of Banach space principles. Informatik Berichte 286, FernUniversität Hagen, Fachbereich Informatik, Hagen (2001)
5. Brattka V. (2003). Computability over topological structures. In: Cooper, S.B. and Goncharov, S.S. (eds) Computability and Models, pp 93–136. Kluwer, New York