1. Troelstra, A. S. and van Dalen, D. (1988): Constructivism in Mathematics. North-Holland, Amsterdam.
2. Hellman, G. (1993): Gleason's theorem is not constructively provable. Journal of Philosophical Logic 22: 193–203.
3. Redhead, M. (1987): Incompleteness, Nonlocality and Realism: A Prolegomenon to the Philosophy of Quantum Mechanics.Clarendon Press, Oxford.
4. Keane, R., Cooke, M. and Moran, W. (1989): An elementary proof of Gleason's theorem. In [5] Appendix A.
5. Hughes, R. I. G. (1989): The Structure and Interpretation of Quantum Mechanics. Harvard University Press, Cambridge, MA.