中国科学院数学与系统科学研究院期刊网
NORMAL FORMS OF RECURSIVE FUNCTIONS THEORY OF RECURSIVE ALGORITHMS Ⅲ
胡世華
Acta Mathematica Sinica, Chinese Series . 1960, (1): 98 -103 .  DOI: 10.12386/A1960sxxb0008