Bishop, Errett, Foundations of constructive mathematics, McGraw-Hill, New York, 1967.
Bishop, Errett and Bridges, Douglas, Constructive analysis, Springer, Berlin, 1985.
Bridges, Douglas, Ishihara, Hajime, Schuster, Peter, and Vîţă, Luminiţa, Strong continuity implies uniformly sequential continuity. Archive for Mathematical Logic, vol. 44 (2005), pp. 887–895.
Bridges, Douglas, Ishihara, Hajime, and Vîţă, Luminiţa, A new constructive version of Baire's theorem, Hokkaido Mathematical Journal, vol. 35 (2006), pp. 107–118.
Bridges, Douglas and Richman, Fred, Varieties of constructive mathematics, London Mathematical Society Lecture Notes Series, vol. 97, Cambridge University Press, London, 1987.
Bridges, Douglas and Vîţă, Luminiţa, Techniques of constructive analysis, Springer, New York, 2006.
Ishihara, Hajime, Continuity and nondiscontinuity in constructive mathematics, this Journal, vol. 56 (1991), pp. 1349–1354.
Ishihara, Hajime, Continuity properties in constructive mathematics, this Journal, vol. 57 (1992), pp. 557–565.
Ishihara, Hajime, Sequential continuity in constructive mathematics. Combinatorics, computability and logic (Calude, C. S.. Dinneen, M. J., and Sburlan, S., editors). Springer-Verlag, London, 2001, pp. 5–12.
Ishihara, Hajime, Constructive reverse mathematics: compactness properties, From sets and types to analysis and topology (Crosilla, L. and Schuster, P., editors), Oxford Logic Guides 48, Oxford University Press, 2005, pp. 245–267.
Ishihara, Hajime, Reverse mathematics in Bishop's constructive mathematics, Philosophia Scientist, vol. 6 (2006), pp. 43–59, Cahier special.
Ishihara, Hajime and Yoshida, Satoru, A constructive look at the completeness of D(R), this Journal, vol. 67 (2002), pp. 1511–1519.
Lietz, Peter, From constructive mathematics to computable analysis via realizability interpretation, Dissertation, Technische Universität Darmstadt, 2004.
Loeb, Iris, Equivalents of the (weak) fan theorem, Annals of Pure and Applied Logic, vol, 132 (2005), pp. 51–66.
Negri, Sara and Soravia, Daniele, The continuum as a formal space, Archive for Mathematical Logic, vol. 38 (1999), pp. 423–447.
Richman, Fred, Inluitionistic notions of boundedness in N, preprint, 2007.
Troelstra, Anne S. and van Dalen, Dirk, Constructivism in mathematics, vol. I and II, NorthHolland, Amsterdam, 1988.
Veldman, Wim, A survey of intuitionistic descriptive set theory, Proceedings of the Heyting conference (Petkov, P. P., editor), Mathematical Logic, Plenum Press, New York and London, 1988, pp. 155–174.
Veldman, Wim, Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative, preprint, 2005, Radboud University, Nijmegen.