1. Constructive Analysis
2. On weak operator compactness of the unit ball of L(H);Bridges;Zeitschrift Math. Logik Grundlagen Math.,1978
3. Varieties of Constructive Mathematics;Bridges;London Math. Soc. Lecture Notes,1987
4. Bridges , D. F. Richman P. , Schuster Adjoints, absolute values, and polar decompositions