@unpublished(vdbergheunen:colim,
 author       = "{B. van den} Berg and C. Heunen",
 year         = "2011",
 title        = "Noncommutativity as a colimit",
 doi          = "10.1007/s10485-011-9246-3",
 note         = "To appear in \emph {Applied Categorical Structures}. Available as arXiv:1003.3618.",
)
@article(doering:kochenspecker,
 author       = "A. D{\"o}ring",
 year         = "2005",
 title        = "Kochen-{S}pecker theorem for {V}on {N}eumann algebras",
 journal      = "International Journal of Theoretical Physics",
 volume       = "44",
 number       = "2",
 pages        = "139--160",
 doi          = "10.1007/s10773-005-1490-6",
)
@inproceedings(heunenlandsmanspitters:bohrification,
 author       = "C. Heunen and N.P. Landsman and B. Spitters",
 year         = "2011",
 title        = "Bohrification",
 booktitle    = "Deep Beauty---Understanding the Quantum World through Mathematical Innovation",
 publisher    = "Cambridge University Press",
 doi          = "10.1017/CBO9780511976971.008",
)
@book(johnstone:stonespaces,
 author       = "P.T. Johnstone",
 year         = "1982",
 title        = "Stone spaces",
 series       = "Cambridge studies in advanced mathematics",
 volume       = "3",
 publisher    = "Cambridge University Press",
)
@book(johnstone:elephant,
 author       = "P.T. Johnstone",
 year         = "2002",
 title        = "Sketches of an elephant: A topos theory compendium",
 publisher    = "Oxford University Press",
)
@article(kochenspecker:hiddenvariables,
 author       = "S. Kochen and E. Specker",
 year         = "1967",
 title        = "The problem of hidden variables in quantum mechanics",
 journal      = "Journal of Mathematics and Mechanics",
 volume       = "17",
 pages        = "59--87",
 doi          = "10.1512/iumj.1968.17.17004",
)
@article(krumletal:max,
 author       = "D. Kruml and J.W. Pelletier and P. Resende and J. Rosi{c}ky",
 year         = "2003",
 title        = "On quantales and spectra of {C}*-algebras",
 journal      = "Applied Categorical Structures",
 volume       = "11",
 number       = "6",
 pages        = "543--560",
 doi          = "10.1023/A:1026106305210",
)
@book(lam:modules,
 author       = "T.Y. Lam",
 year         = "1999",
 title        = "Lectures on Modules and Rings",
 series       = "Graduate texts in mathematics",
 volume       = "189",
 publisher    = "Springer",
)
@unpublished(reyes:onextensions,
 author       = "M. L. Reyes",
 year         = "2011",
 title        = "Obstructing extensions of the functor {S}pec to noncommutative rings",
 note         = "To appear in the \emph {Israel Journal of Mathematics}. Available as arXiv:1101.2239.",
)
@article(rosicky:quantumframes,
 author       = "J. Rosi{c}ky",
 year         = "1989",
 title        = "Multiplicative lattices and {C}*-algebras",
 journal      = "Cahiers de topologie et g{\'e}om{\'e}trie diff{\'e}rentielle cat{\'e}goriques",
 volume       = "30",
 number       = "2",
 pages        = "95--110",
 url          = "http://www.numdam.org/item?id=CTGDC_1989__30_2_95_0",
)