@article{heunenlandsmanspitterswolters,
  title = "The Gelfand spectrum of a noncommutative C*-algebra: a topos-theoretic approach",
  author = "Chris Heunen, Nicolaas P. Landsman, Bas Spitters, and Sander Wolters",
  year = "2011",
  journal = "Journal of the Australian Mathematical Society",
  pages = "39-52",
  volume = "90",
  doi = "10.1017/S1446788711001157",
}