1. Constructive Analysis;Bishop,1985
2. Constructive mathematics in theory and programming practice;Bridges;Philos. Math. (3),1999
3. Varieties of Constructive Mathematics;Bridges,1987
4. On sequential convergence;Dudley;Trans. Amer. Math. Soc.,1964
5. Topology;Dugundji,1990