1. Foundations of Constructive Mathematics;Beeson,1985
2. Constructive Analysis, Grundlehren der math, Wissenschaften 279;Bishop,1985
3. Constructive mathematics: a foundation for computable analysis;Bridges;Theoret. Comput. Sci.,1999
4. D. Bridges, H. Ishihara, The constructive closed range and open mapping theorems, Preprint, University of Canterbury, 1999, submitted for publication.
5. A definitive constructive open mapping theorem?;Bridges;Math. Logic Quart.,1998