中国科学院数学与系统科学研究院期刊网
纯粹递归论在递归分析中的应用
涅罗德(Nerode);黄文奇
数学学报 . 1985, (5): 625 -636 .  DOI: 10.12386/A1985sxxb0070