1. Bishop, Errett,Foundations of Constructive Analysis, McGraw-Hill, New York, 1967.
2. Bridges, Douglas, ?Towards a Constructive Foundation for Quantum Mechanics?, in F. Richman, ed.,Constructive Mathematics (Springer Lecture Notes in Mathematics873), 260?273.
3. Bridges, Douglas and Richman, Fred,Varieties of Constructive Mathematics, London Math. Soc. Lecture Notes97, Cambridge Univ. Press, London, 1987.
4. Calude, C.,Theories of Computational Complexity, North-Holland, Amsterdam, 1988.
5. Cooke, R., Keane, M. and Moran, W., ?An Elementary Proof of Gleason's Theorem?, inThe Structure and Interpretation of Quantum Mechanics (R. G. Hughes, ed.), Harvard University Press, Cambridge, Mass., 1989.