@misc{indiciae7cd33c799712,
  title = {Bohrification of operator algebras and quantum logic},
  author = {Chris Heunen and Nicolaas P. Landsman and Bas Spitters},
  year = {2010},
  doi = {10.1007/s11229-011-9918-4},
  url = {https://arxiv.org/abs/0905.2275},
  note = {Source identifier: 0905.2275}
}