https://9pdf.info/document/qmj87x87-view-of-sharply-orthocomplete-effect-algebras.html