1. Foundations of Constructive Analysis;Bishop,1967
2. Constructive Analysis;Bishop,1985
3. On weak operator compactness of the unit ball of L(H);Bridges;Z. Math. Log. Grundl. Math.,1978
4. Characterising weak-operator continuous linear functionals on B(H) constructively;Bridges;Doc. Math.,2011
5. Weak operator continuity and the existence of adjoints;Bridges;Math. Log. Q.,1999