1. Bishop, E.: Foundations of Constructive Analysis. McGraw-Hill, New York (1967)
2. Bishop, E.: Mathematics as a numerical language. In: Kino, A., Myhill, J., Vesley, R.E. (eds.) Intuitionism and Proof Theory, pp. 53–71. North-Holland, Amsterdam (1970)
3. Bishop, E., Cheng, H.: Constructive measure theory. Mem. Amer. Math. Soc. 116 (1972)
4. Grundlehren der mathematischen Wissenschaften;Errett Bishop,1985
5. Bridges, D.S., Richman, F.: Varieties of Constructive Mathematics. Cambridge University Press, Cambridge (1987)