Orthomodular lattices : algebraic approach - Beran, Ladislav (D. Reidel ;, 1984)