Orthomodular Structures as Quantum Logics - Ptak, Pavel (Fundamental theories of physics, 1991)