[1] Blikle A.: Automata and Grammars. (Polish), Państwowe Wydawnictwo Naukove, Warsaw 1971.

[2] Čulík K.: On sequential and non-sequential machines and their relation to the computation in computers. (mimeographed in IFIP WG 2.2 Bulletin, No. 6, February 1970).

[3] Čulík K., Arbib M. A.: Sequential and jumping machines and their relation to computers. (in print in Acta Informatica).

[4] Čulík K.: Theory of algorithms and programming languages. (Czech), Textbook for the Czech Institute of Technology (not published), Prague 1970.

[5] Čulík K.: Classifications of programming theories and language. (in print in Information Processing Machines).

[6] Čulík K.: Algorithmization of algebras and relational structures. Comentationes Mathematicae Universitatis Carolinae 13, 3 (1972), 457-477. MR 0317574

[7] Čulík K.: Combinatorial problems in theory of complexity of algorithmic nets without cycles for simple computers. Apl. Math. 16 (1971), 188 - 202. MR 0309358

[8] Čulík K.: A note on complexity of algorithmic nets without cycles. Apl. Math. 16 (1971), 297-301. MR 0309359

[9] Čulík K.: Optimalization of special programs with respect to the economy of storage. (Czech), Proceedings of Conference of the Czech Institute of Technology, Prague 1971, 1-10.

[10] Engeler E.: Algorithmic Approximations. Jour. Comp. and Syste. Sciences 5 (1971), 67-82. DOI 10.1016/S0022-0000(71)80008-9 | MR 0293874 | Zbl 0238.68016

[11] Luckham D. C D. M. R. Park M. S. Paterson: On formalized computer programs. Jour. Comp. and Syste. Sciences 4 (1970), 220-249. DOI 10.1016/S0022-0000(70)80022-8 | MR 0275717

[12] Milner R.: Equivalences on Program Schemes. Jour. Comp. and Syste. Sciences 4 (1970), 205-219. DOI 10.1016/S0022-0000(70)80021-6 | MR 0276097 | Zbl 0209.18705

[13] Nagata I.: On compiling for arithmetic expressions. Comm. ACM 10 (1967), 492-494. DOI 10.1145/363534.363549

[14] Pawlak Z.: On the notion of a computer. Logic. Math. and Phil. Sci. 3 (1968), 255 - 267. MR 0245444 | Zbl 0184.02603

[15] Redziejowski R. R.: On arithmetic expressions and trees. Comm. ACM 12 (1969), 81 - 84. DOI 10.1145/362848.362859 | MR 0343685 | Zbl 0167.45804

[16] Sethi R., J. D. Ullman: The generation of optimal code for arithmetic expressions. Jour. ACM 17(1970), 715-728. DOI 10.1145/321607.321620 | MR 0275722 | Zbl 0212.18802

[17] Wijngaarden A. van (editor): ALGOL 68. Math. Centrum, Amsterdam 1968.