Categorical equivalence between orthomodular dynamic algebras and complete orthomodular lattices
scientific article; zbMATH DE number 6834025