with Gudder, S. P. , 1975, Quantum logics, in C. A. Hooker (ed.), The logico-algebraic approach to quantum mechanics I, Dordrecht, Springer, pp. 545-575.