[1] A. A. Mарков: Теория алгорифмов. (Theory of algorithms). Труды математического института имени В. А. Стеклова, XL-II, Издателство Академии наук СССР, Москва-Ленинград 1954. Zbl 0192.06703

[2] A. M. Turing: Computable numbers with an application to Entscheidungsproblem. Proc. London. Math. Soc. ser. 2., 42 (1936-7), 230-265. MR 1577030

[3] C. E. Shannon: Universal Turing machine with two inner states. In: Automata studies. Princeton University Press, Princeton 1956. MR 0079548

[4] M. D. Davis: Note on universal Turing machines. In: Automata studies. Princeton University Press, Princeton 1956. MR 0079547

[5] R. Péter: Recursive Funktionen. Akademiai Kiadó, Budapest 1951.

[6] S. C. Kleene: Introduction to Metamathematics. D. Van Nostrand Comp., New York-Toronto 1952. MR 0051790 | Zbl 0047.00703

[7] S. C. Kleene: General recursive functions of natural numbers. Math. Ann. 112 (1936), 727-742. MR 1513071 | Zbl 0014.19402