1. Foundations of Constructive Analysis;Bishop,1967
2. Constructive Functional Analysis;Bridges,1979
3. On the foundations of best approximation theory;Bridges;J. Approx. Theory,1980
4. D. S. Bridges, A constructive proximinality property of finite-dimensional linear subspaces, Rocky Mountain J. Math., in press.
5. D. S. Bridges, A constructive analysis of the Remes algorithm, to appear.