M. Kalina, J. Paseka, and Z. Riečanová, “Sharply Orthocomplete Effect Algebras”, Acta Polytech, vol. 50, no. 5, Jan. 2010, doi: 10.14311/1267.