S. Smets, “In defense of operational quantum logic”, LLP, no. 11-12, pp. 191–212, Nov. 2003.