1. Sur les fonctions calculables;Banach;Ann. Soc. Pol. de Math,1937
2. “Constructive Analysis”;Bishop,1985
3. Brattka V., Computability of Banach space principles, Informatik Berichte 286, FernUniversität Hagen, Fachbereich Informatik, Hagen (2001).
4. Computable versions of Baire's category theorem;Brattka;Lect. Not. Comp. Sci,2001
5. Brattka, V., Computability over topological structures, in: S. B. Cooper and S. Goncharov, editors, Computability and Models, Kluwer Academic Publishers, Dordrecht, (in preparation).