1. M.H. Stone. The theory of representations for Boolean algebras. Trans. Amer. Math. Soc., 40:37–111, 1936.
2. Peter T. Johnstone. Stone Spaces, volume 3 of Cambridge studies in advanced mathematics. Cambridge University Press, Cambridge, 1982.
3. Andreas Döring and Christopher J. Isham. A topos foundation for theories of physics: I. Formal languages for physics. J. Math. Phys., 49, Issue 5:053515, 2008.
4. Andreas Döring and Christopher J. Isham. A topos foundation for theories of physics: II. Daseinisation and the liberation of quantum theory. J. Math. Phys., 49, Issue 5:053516, 2008.
5. Andreas Döring and Christopher J. Isham. A topos foundation for theories of physics: III. Quantum theory and the representation of physical quantities with arrows. J. Math. Phys., 49, Issue 5:053517, 2008.