R.M.伯斯托尔。；约翰·达林顿 用于开发递归程序的转换系统。 （英语） Zbl 0343.68014号 J.助理计算。机器。 24, 44-67 (1977). 页码：24/35−5 −4 −3 −2 −1 ±0 +1个 +2 +3个 +4 +5 显示扫描页面 引用于6评论引用于149文件 MSC公司： 68号01 软件理论的一般主题 PDF格式BibTeX公司 XML格式引用 \textit{R.M.Burstall}和\textit{J.Darlington}，J.协会计算。机器。24、44-67（1977年；Zbl 0343.68014） 全文： 内政部 链接