A topos for algebraic quantum theory - Heunen, C; Landsman, N; Spitters, B (2009)