[1] L. Beran: Orthomodular lattices (Algebraic approach). D. Reidel Publishing Company, Dordrecht - Boston, 1985. MR 0784029 | Zbl 0558.06008

[2] L. Beran: Distributivity in finitely generated orthomodular lattices. Commentationes Mathematicae Universitatis Carolinae, 28, 3, p.433-435, 1987. MR 0912572 | Zbl 0624.06008

[3] T. S. Blyth M. F. Janowitz: Residuation theory. Pergamon Press, Oxford, 1972. MR 0396359

[4] G. Chevalier: Relations binaires et congruences dans un treillis orthomodulaire. C.R. Acad. Paris, t 286, serie 1, p. 785-788, 1983. MR 0711831 | Zbl 0528.06011

[5] P. D. Finch: Congruence relations in orthomodular lattices. J. Austral. Math. Soc, 6, p. 46-54, 1966. MR 0197369

[6] E. L. Marsden, Jr.: The commutator and solvability in a generalized orthomodular lattice. Pac. J. Math., Vol. 33, N° 2, p. 357-361, 1970. MR 0263712 | Zbl 0234.06004

[7] S. Pulmannová: Commutators in orthomodular lattices. Demonstratio Mathematica, Vol XVIII, N° 1, p. 187-208, 1985. MR 0816029

[8] Y. Rav: Prime separations and semiprime ideal in lattices under minimal set-theoretical assumptions. Prépublications de l'Université de Paris-Sud 86T11, 1986.