Errett Bishop and Douglas Bridges , Constructive analysis, Springer, Berlin, 1985.
 Douglas Bridges , Hajime Ishihara , Peter Schuster , and Luminiţa Vîţă , Strong continuity implies uniformly sequential continuity. Archive for Mathematical Logic, vol. 44 (2005), pp. 887–895.
 Douglas Bridges , Hajime Ishihara , and Luminiţa Vîţă , A new constructive version of Baire's theorem, Hokkaido Mathematical Journal, vol. 35 (2006), pp. 107–118.
 Douglas Bridges and Fred Richman , Varieties of constructive mathematics, London Mathematical Society Lecture Notes Series, vol. 97, Cambridge University Press, London, 1987.
 Douglas Bridges and Luminiţa Vîţă , Techniques of constructive analysis, Springer, New York, 2006.
 Hajime Ishihara , Sequential continuity in constructive mathematics. Combinatorics, computability and logic ( C. S. Calude . M. J. Dinneen , and S. Sburlan , editors). Springer-Verlag, London, 2001, pp. 5–12.
 Hajime Ishihara , Constructive reverse mathematics: compactness properties, From sets and types to analysis and topology ( L. Crosilla and P. Schuster , editors), Oxford Logic Guides 48, Oxford University Press, 2005, pp. 245–267.
 Iris Loeb , Equivalents of the (weak) fan theorem, Annals of Pure and Applied Logic, vol, 132 (2005), pp. 51–66.
 Sara Negri and Daniele Soravia , The continuum as a formal space, Archive for Mathematical Logic, vol. 38 (1999), pp. 423–447.