TY - RPRT TI - Bohrification AU - Chris Heunen AU - Nicolaas P. Landsman AU - Bas Spitters PY - 2010 UR - https://arxiv.org/abs/0909.3468 ID - 0909.3468 ER -