This document is unfortunately not available for download at the moment.
Clifford A. Hooker (1975) The logico-algebraic approach to quantum mechanics I: historical evolution, Dordrecht, Springer.
The calculus of partial propositional functions
Simon Kochen, E. P. Specker
pp. 277-292
Not implemented yet !