BibTex format
@article{Hamilton:2000:10.1023/A:1003667607842,
author = {Hamilton, J and Isham, CJ and Butterfield, J},
doi = {10.1023/A:1003667607842},
journal = {INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS},
pages = {1413--1436},
title = {Topos perspective on the Kochen-Specker theorem: III. Von Neumann algebras as the base category},
url = {http://dx.doi.org/10.1023/A:1003667607842},
volume = {39},
year = {2000}
}