, 1975a, Foundations of quantum mechanics, in C. A. Hooker (ed.), The logico-algebraic approach to quantum mechanics I, Dordrecht, Springer, pp. 351-363.
, 1975b, Mathematics as logical syntax: a method to formalize the language of a physical theory, in C. A. Hooker (ed.), The logico-algebraic approach to quantum mechanics I, Dordrecht, Springer, pp. 45-52.
, 1975c, The logic of complementarity and the foundation of quantum theory, in C. A. Hooker (ed.), The logico-algebraic approach to quantum mechanics I, Dordrecht, Springer, pp. 27-44.