1. Sur les fonctions calculables;Banach;Ann. Soc. Pol. de Math.,1937
2. Two constructive embedding-extension theorems with applications to continuity principles and to Banach–Mazur computability;Bauer;Math. Logic Quart.,2004
3. 4-quantifier completeness: a Banach–Mazur functional not uniformly partial recursive;Friedberg;Bull. Acad. Polon. Sci. Sér. Sci. Math., Astr. Phys.,1958
4. Banach–Mazur computable functions on metric spaces;Hertling,2001
5. A Banach–Mazur computable but not Markov computable function on the computable real numbers (extended abstract);Hertling,2002