1. Beran, L. (1984). Orthomodular Lattices. Algebraic Approach. Academia, Praha.
2. Birkhoff, G. (1973). Lattice Theory, 3rd edn., AMS, Providence, USA.
3. Birkhoff, G. and von Neumann, J. (1936). The logic of quantum mechanics. Annals of Mathematics 37, 823–843.
4. Dorfer, G. (2001). Some properties of congruence relations on orthomodular lattices. Discussiones Mathematicae, General Algebra and Applications 21, 57–66.
5. Dorfer, G., Dvurečenskij, A., and Länger, H. (1996). Symmetric difference in orthomodular lattices. Mathematica Slovaca 46, 435–444.