1. E. Bishop, Foundations of Constructive Analysis, McGraw-Hill (New York, 1967).
2. E. Bishop, Schizophrenia in Contemporary Mathematics, AMS Colloquium Lectures (Missoula, MT, 1973); reprinted in Contemp. Math., 39, Amer. Math. Soc. (Providence, RI, 1985).
3. E. Bishop and D. Bridges, Constructive Analysis, Springer (Berlin, 1985).
4. D. Bridges and F. Richman, Varieties of Constructive Mathematics, Cambridge University Press (Cambridge, UK, 1987).
5. D. Bridges and L. Vîţă, Techniques of Constructive Analysis, Springer (New York, 2006).