1. Zum Hilbertschen Aufbau der reellen Zahlen;Ackermann;Math. Ann.,1928
2. On a family of Turing machines and the related programming language;Böhm;ICC Bull.,1964
3. Iteration and recursion;Eilenberg;Proc. Nat. Acad. Sci. U.S.A.,1968
4. Eliminability of concluding formulas in Markov's normal algorithms;Germano;Notices Amer. Math. Soc.,1971