^［1］ 在埃米尔·波斯特的论文 “Recursive Unsolvability of a Problem of Thue”，The Journal of Symbolic Logic，Vol. 12，No. 1（Mar 1947），1-11的附录中。整篇文章转载于Martin Davis，ed.，The Undecidable（Raven Press，1965），293-303。附录转载于B. Jack Copeland，ed.，The Essential Turing（Oxford University Press，2004），97-101。

^［2］ 埃米尔·波斯特，“Finite Combinatory Processes Formulation I”，The Journal of Symbolic Logic，Vol. 1，No. 3（Sep. 1936），103-105。重印于Martin Davis，ed.，The Undecidable，289-291。尽管波斯特的论文比图灵的论文发表得早，但是波斯特的论文是 The Journal of Symbolic Logic 杂志在1936年10月7日收到的，而 the Proceedings of the London Mathematical Society 在1936年5月28日就收到了图灵的论文。