1. Foundations of Constructive Analysis;Bishop,1967
2. Constructive Functional Analysis;Bridges,1979
3. Methods of Hubert Spaces;Maurin,1967
4. A Critical Analysis of Banach's Open Mapping Theorem;Stolzenberg,1971
5. Compactly generated Banach spaces;Richman;Arch. Math.,1981