1

{AhU178} A. V. Aho, J. D. Ullman, Principles of Compiler Design, Addison-Wesley 1978.

2

G. V. Bochmann, Multiple exits from a loop without the GOTO, Communications of the ACM, v.16 n.7, p.443-444, July 1973  [doi>10.1145/362280.362300]

3

{CoGr79} R. Conway, D. Gries, An Introduction to Programming, A Structured Approach Using PL/1 and PL/C, Winthrop 1979.

4

{Cu177} K. Culik, Extensions of Rooted Trees and Their Applications, 131--148, Discrete Mathematics 18 (1977).

5

{Eng71} E. Engeler, Structure and Meaning of Elementary Programs, 89--101, in E. Engeler (ed.): Symposium on Semantics of Algorithmic Languages, Springer 1971.

6

Matthew S. Hecht, Flow Analysis of Computer Programs, Elsevier Science Inc., New York, NY, 1977

7

{KHW70} W. M. McKeeman, J. J. Horning and D. B. Wortman, A Compiler Generator, Prentice Hall 1970.

8

{KnF171} D. E. Knuth, R. W. Floyd, Notes on Avoiding "GOTO" Statements, Inf. Proc. Letters 1 (1971), 23--31.

9

Donald E. Knuth, Structured Programming with go to Statements, ACM Computing Surveys (CSUR), v.6 n.4, p.261-301, Dec. 1974  [doi>10.1145/356635.356640]

10

{Kos74} S. R. Kosaraju, Analysis of Structured Programs, Jour. Comp. Syst. Sciences 9 (1974), 232--255.

11

Henry F. Ledgard , Michael Marcotty, A genealogy of control structures, Communications of the ACM, v.18 n.11, p.629-639, Nov. 1975  [doi>10.1145/361219.361222]

12

{Nen63} Neumann, J. V., Collected Works V: Design of Computers, Theory of Automata and Numerical Analysis. Oxford-London-New York-Paris: Pergamon Press 1963.

13

W. W. Peterson , T. Kasami , N. Tokura, On the capabilities of while, repeat, and exit statements, Communications of the ACM, v.16 n.8, p.503-512, Aug. 1973  [doi>10.1145/355609.362337]

14

Niklaus Wirth, On the Composition of Well-Structured Programs, ACM Computing Surveys (CSUR), v.6 n.4, p.247-259, Dec. 1974  [doi>10.1145/356635.356639]

15

W. A. Wulf , D. B. Russell , A. N. Habermann, BLISS: a language for systems programming, Communications of the ACM, v.14 n.12, p.780-790, Dec. 1971  [doi>10.1145/362919.362936]

David Harel, On folk theorems, Communications of the ACM, v.23 n.7, p.379-389, July 1980

Karel Culik: colleagues