1. Computable Analysis;Aberth,1980
2. Foundations of Constructive Mathematics;Beeson,1985
3. Foundations of Constructive Analysis;Bishop,1967
4. Schizophrenia in Contemporary Mathematics;Bishop,1985
5. E. Bishop, Notes on Constructive Topology, University of California, San Diego, 1971, preprint.