B. van den Berg & C. Heunen (2011):
Noncommutativity as a colimit,
doi:10.1007/s10485-011-9246-3.
To appear in Applied Categorical Structures. Available as arXiv:1003.3618..
A. Döring (2005):
Kochen-Specker theorem for Von Neumann algebras.
International Journal of Theoretical Physics 44(2),
pp. 139–160,
doi:10.1007/s10773-005-1490-6.
C. Heunen, N.P. Landsman & B. Spitters (2011):
Bohrification.
In: Deep Beauty—Understanding the Quantum World through Mathematical Innovation.
Cambridge University Press,
doi:10.1017/CBO9780511976971.008.
P.T. Johnstone (1982):
Stone spaces.
Cambridge studies in advanced mathematics 3.
Cambridge University Press.
P.T. Johnstone (2002):
Sketches of an elephant: A topos theory compendium.
Oxford University Press.
S. Kochen & E. Specker (1967):
The problem of hidden variables in quantum mechanics.
Journal of Mathematics and Mechanics 17,
pp. 59–87,
doi:10.1512/iumj.1968.17.17004.
D. Kruml, J.W. Pelletier, P. Resende & J. Rosicky (2003):
On quantales and spectra of C*-algebras.
Applied Categorical Structures 11(6),
pp. 543–560,
doi:10.1023/A:1026106305210.
T.Y. Lam (1999):
Lectures on Modules and Rings.
Graduate texts in mathematics 189.
Springer.
M. L. Reyes (2011):
Obstructing extensions of the functor Spec to noncommutative rings.
To appear in the Israel Journal of Mathematics. Available as arXiv:1101.2239..
J. Rosicky (1989):
Multiplicative lattices and C*-algebras.
Cahiers de topologie et géométrie différentielle catégoriques 30(2),
pp. 95–110.
Available at http://www.numdam.org/item?id=CTGDC_1989__30_2_95_0.