莫里斯,F.L。;C.B.琼斯。 阿兰·图灵的早期程序证明。 (英语) Zbl 0998.01521号 安。历史。计算。 6,第2期,139-143(1984). 引用于6文件 MSC公司: 01A60型 20世纪数学史 2003年8月 计算机科学史 PDF格式BibTeX公司 XML格式引用 \textit{F.L.Morris}和\textit{C.B.Jones},Ann.Hist。计算。6,第2号,139--143(1984;Zbl 0998.01521) 全文: 内政部