中国科学院数学与系统科学研究院期刊网
线性循环程序的终止性判定
李轶
系统科学与数学 . 2013, (5): 626 -638 .  DOI: 10.12341/jssms12105