1. S. Banach and S. Mazur. Sur les fonctions calculables. Ann. Soc. Pol. de Math., 16:223, 1937.
2. G.S. Ceîtin. Algorithmic operators in constructive complete separable metric spaces. Doklady Akad. Nauk, 128:49–52, 1959. (in Russian).
3. G.S. Ceîtin. Algorithmic operators in constructive metric spaces. Tr. Mat. Inst. Steklov, 67:295–361, 1962. (in Russian, English trans. in AMS Trans. 64, 1967).
4. R.M. Friedberg. 4-quantifier completeness: A Banach-Mazur functional not uniformly partial recursive. Bulletin de l’Academie Polonaise des Sciences, Série des sci. math., astr. et phys., 6(1):1–5, 1958.
5. A. Grzegorczyk. Some approaches to constructive analysis. In A. Heyting, editor, Constructivity in mathematics, Studies in Logic and The Foundations of Mathematics, pages 43–61, Amsterdam, 1959. North-Holland. Colloquium at Amsterdam, 1957.