^[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] 唐纳德·戴维斯的“Corrections to Turing’s Universal Computing Machine”，in C. Jack Copeland，ed.，The Essential Turing，103-124。任何想要编写仿真通用机程序的人都想专研戴维斯的文章。

^[3] 由波斯特建议，“Recursive Unsolvability of a Problem of Thue”，7。

^[4] John P. Burgess在George S. Boolos、John P. Burgess和Richard C. Jeffrey所著的Computability and Logic, fourth edition（Cambridge University Press，2002）一书的前言中提到的。