Orthomodular structures as quantum logics - Pták, Pavel; Pulmannová, Sylvia (Bratislava : Veda ; Dordrecht : Kluwer Academic Publishers, 1991)