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:223, 1937.
3. 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.
4. A. Grzegorczyk. Computable functionals. Fundamenta Mathematicae, 42:168–202, 1955.
5. Lect Notes Comput Sci;P. Hertling,2001