[1] Čulík K., M. A. Arbib: Sequential and Jumping Machines and their relation to computers. Acta Infoгmatica 2 (1973), 162-171. MR 0329789 | Zbl 0244.68027

[2] Čulík K.: Structural similarity of programs and some concepts of algorithmic method. Lecture Notes in Economics and Mathematical Systems 75, Springer 1972. Zbl 0262.68034

[3] Davis M.: Computability and Unsolvability. McGraw-Hill, N.Y. 1958. Zbl 0080.00902

[4] Wagner E. G.: On the structure of programming languages, or, six languages for Turing Machines. 45-53, IEEE conference record of 1967 eight annual symposium on switching and automata theory,

[5] van Wijngaarden A., Mailloux B. J., Peck J. E. L., Koster C. H. A.: ALGOL 68. Math. Centrum, Amsterdam 1968.