1. Foundations of Constructive Analysis;Bishop,1967
2. Constructive Functional Analysis;Bridges,1979
3. On continuous mappings between locally compact metric spaces;Bridges;Bull. London Math. Soc.,1978
4. A criterion for compactness in metric spaces?;Bridges;Z. Math. Logik Grundlagen Math.,1979
5. D. S. Bridges, “A constructive proximinality property of finite dimensional linear subspaces,” Rocky Mountain J. Math., in press.