, 1975, The structure of the propositional calculus of a physical theory, in C. A. Hooker (ed.), The logico-algebraic approach to quantum mechanics I, Dordrecht, Springer, pp. 221-245.