Orthomodular structures as quantum logics - Pták, Pavel; Pulmannová, Sylvia (Fundamental theories of physics, 1991)