BibTex format
@inproceedings{Isham:2000:10.1023/A:1026406502316,
author = {Isham, CJ and Butterfield, J},
doi = {10.1023/A:1026406502316},
pages = {1707--1735},
publisher = {KLUWER ACADEMIC/PLENUM PUBL},
title = {Some possible roles for topos theory in quantum theory and quantum gravity},
url = {http://dx.doi.org/10.1023/A:1026406502316},
year = {2000}
}