1. The logic of quantum mechanics;Birkhoff;Ann. Math.,1936
2. Algebraic aspects of orthomodular lattices;Bruns,2000
3. Orthomodular spaces;Dacey,1968
4. Gleason's Theorem and Its Applications;Dvurečenskij,1993
5. Handbook of Quantum Logic and Quantum Structures – Quantum Structures,2007