Orthomodular Lattices. - Elzbieta Madra; Adam Grabowski (Formaliz. Math., 2008)