@article{Bohrification_ql,
        title = "Bohrification of operator algebras and quantum logic",
        author = "Chris Heunen, Nicolaas P. Landsman, Bas Spitters",
        year = "2011",
        journal ="Synthese",
        publisher = {Springer Netherlands},
        issn = {0039-7857},
        pages={1--34},
        doi = {10.1007/s11229-011-9918-4},
        url = "http://arxiv.org/abs/0905.2275"
}