(1)
Smets, S. In Defense of Operational Quantum Logic. LLP 2003, 191-212.