1. Bishop, E.A.: Foundations of Constructive Analysis. McGraw-Hill, New York (1967)
2. Bishop, E.A., Bridges, D.S.: Constructive Analysis, Grundlehren der mathematischen Wissenschaften, vol. 279. Springer, Berlin (1985)
3. Bridges, D.S., Reeves, S.: Constructive mathematics in theory and programming practice. Philosophia Mathematica 7(3), 65–104 (1999)
4. London Mathematical Society Lecture Notes;DS Bridges,1987
5. Bridges, D.S., Vîţă, L.S.: Techniques in Constructive Analysis. Universitext. Springer, Berlin (2006)