中国科学院数学与系统科学研究院期刊网
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/A2020sxxb0055