中国科学院数学与系统科学研究院期刊网
减法系统Ⅰ——各种BCY代数和它们的字问题
沈百英
Acta Mathematica Sinica, Chinese Series . 1986, (1): 112 -116 .  DOI: 10.12386/A1986sxxb0014