[1] L. BERAN: Orthomodular Lattices. (Algebraic Approach), D. Reidel Publishing Co., Dordrecht - Boston, Mass. 1984. MR 0785005

[2] L. BERAN: Extension of a theorem of Gudder and Schelp to polynomials of orthomodular lattices. Proc. Amer. Math. Soc. 81 (1981), 518-520. MR 0601720 | Zbl 0458.06006

[3] G. BRUNS G. KALMBACH: Some remarks on free orthomodular lattices. Proc. Univ. of Houston, Lattice Theory Conf. Houston, 1973, 397-403. MR 0401564

[4] J. KOTAS: An axiom system for the modular logic. Studia logica 21 (1967), 13-38. MR 0224516 | Zbl 0333.02023