中国科学院数学与系统科学研究院期刊网
ON THE EXPLICIT FORM OF GENERAL RECURSIVE FUNCTIONS
莫紹揆
Acta Mathematica Sinica, Chinese Series . 1956, (4): 548 -564 .  DOI: 10.12386/A1956sxxb0043