Orthomodular lattice obtained from addressing a fixed point
scientific article; zbMATH DE number 1374327
scientific article