Later in 1980, Davis used the name "Turing–Post program" (Davis, in Steen pp.  241).
后来Davis在1980年使用名字"Turing-Post程序"（Davis, in Steen pp.  241）。