1. P. Mateus, A. Sernadas, Exogenous quantum logic, in: W.A. Carnielli, F.M. Dionísio, P. Mateus (Eds.), Proceedings of CombLog’04, Workshop on Combination of Logics: Theory and Applications, Departamento de Mátematica, Instituto Superior Técnico, 1049-001 Lisboa, Portugal, 2004, pp. 141–149, extended abstract.
2. Reasoning about quantum systems;Mateus,2004
3. Quantum Mechanics;Cohen-Tannoudji,1977
4. Quantum Computation and Quantum Information;Nielsen,2000
5. A half-century of quantum logic. What have we learned?;Foulis,1999