with Piron, C. , 1975, On the structure of quantal proposition systems, in C. A. Hooker (ed.), The logico-algebraic approach to quantum mechanics I, Dordrecht, Springer, pp. 427-436.