@article{heunenlandsmanspitters:topos,
  title = "A topos for algebraic quantum theory",
  author = "Chris Heunen and Nicolaas P. Landsman and Bas Spitters",
  year = "2009",
  crossref = "preprint available as arxiv:0709.4364",
  journal = "Communications in Mathematical Physics",
  pages = "63--110",
  volume = "291",
  doi = "10.1007/s00220-009-0865-6",
}