Orthomodular lattices algebraic approach - Beran, Ladislav (Reidel, 1985)