1. Categorical quantum mechanics;Abramsky,2009
2. Mathematical Theory of Quantum Fields;Araki,1999
3. The logic of quantum mechanics;Birkhoff;Ann. Math.,1936
4. Operator Algebras and Quantum Statistical Mechanics I;Bratteli,1987
5. Operator Algebras and Quantum Statistical Mechanics II;Bratteli,1987