1. Bishop, E.: 1967, Foundations of Constructive Analysis, McGraw-Hill, New York.
2. Bishop, E. and H. Cheng: 1972, Constructive Measure Theory, Memoirs Amer. Math. Soc. 116.
3. Borel, E.: 1898, Leçons sur la théorie des fonctions, Gauthiers-Villars, Paris.
4. Bridges, D. S.: 1979, Constructive Functional Analysis, Research Notes in Math. 28, Pitman, London.
5. Davis, M.: 1958, Computability and Unsolvability, McGraw-Hill, New York.