中国科学院数学与系统科学研究院期刊网
递归函数的范式 遞归算法論Ⅲ
胡世華
NORMAL FORMS OF RECURSIVE FUNCTIONS THEORY OF RECURSIVE ALGORITHMS Ⅲ
数学学报 . 1960, (1): 98 -103 .  DOI: 10.12386/A1960sxxb0008