1. Bishop, E. (1967)Foundations of Constructive Analysis (New York: McGraw-Hill).
2. Bridges, D. S. (1979)Constructive Functional Analysis (London: Pitman).
3. Bridges, D. S. (1981) ?Towards a Constructive Foundation for Quantum Mechanics,? in F. Richman, ed.,Constructive Mathematics (Berlin: Springer), pp. 260?273.
4. Cooke, R., Keane, M., and Moran, W. (1985) ?An elementary Proof of Gleason's Theorem,?Mathematical Proceedings of the Cambridge Philosophical Society (Cambridge, England: Cambridge University Press); reprinted in Hughes, R.I.G.,The Structure and Interpretation of Quantum Mechanics (Cambridge, Mass.: Harvard University Press, 1989), pp. 321?337.
5. Dummett, M. (1977)Elements of Inuitionism (Oxford: Oxford University Press).