Beran L. Orthomodular Lattices. Algebraic Approach 1985