A Sub-sequential Effect Algebra from the Quantum Programming Theory
Wu Dong LI, Ying ZHANG, Kan HE
Acta Mathematica Sinica, Chinese Series . 2020, (6): 647 -654 .  DOI: 10.12386/A20200055