A representation of orthomodular lattices Jiří Binder; Pavel Pták — 1990 Acta Universitatis Carolinae. Mathematica et Physica