1. Foundations of Constructive Mathematics;Beeson,1985
2. Foundations of Constructive Analysis;Bishop,1967
3. Constructive Analysis;Bishop,1985
4. Product a-frames and proximity;Bridges;Math. Log. Quart.,2008
5. D.S. Bridges, How to construct a product of a-frames, Math. Log. Quart. (in press).