1. Bratteli, O., Robinson, D.W.: Operator Algebras and Quantum Statistical Mechanics, vol 1. Springer, Berlin (1997)
2. Bratteli, O., Robinson, D.W.: Operator Algebras and Quantum Statistical Mechanics, vol 2. Springer, Berlin (1997)
3. Bush, P., Grabowski, M, Lahti, P.J.: Operational Quantum Physics. Springer, Berlin (1995)
4. Döring, A., Isham, C.J.: A topos foundations for theories of physics: I, Formal languages for physics. J. Math. Phys. 49, 0534515 (2008)
5. Döring, A., Isham, C.J: A topos foundations for theories of physics: II, Daseinisation and the liberation of quantum theory. J. Math. Phys. 49, 0534515 (2008)