ALGEBRAIC CHARACTERIZATION OF REDUCIBLE FLOWCHARTS

[1] ALLEN FE, 1972, IBM RC3932 RES REP

[2] BURSTALL RM, 1974, 1ST P INT S CAT THEO

[3] BURSTALL RM, 1975, LECTURE NOTES COMPUT, V25, P126

[4] Elgot C. C., 1976, IEEE Transactions on Software Engineering, VSe-2, P41, DOI 10.1109/TSE.1976.233800

[5] Elgot C. C., 1979, Theoretical Computer Science, V8, P325, DOI 10.1016/0304-3975(79)90016-1

[6] ELGOT CC, 1980, IBM RC8221 RES REP

[7] ELGOT CC, 1975, 1973 P LOG C BRIST N, P175

[8] GALLIER J, 1979, LECTURE NOTES COMPUT, V71, P256

[9] NONDETERMINISTIC FLOWCHART PROGRAMS WITH RECURSIVE PROCEDURES - SEMANTICS AND CORRECTNESS .2. [J]. THEORETICAL COMPUTER SCIENCE, 1981, 13 (03) : 239 - 270

[10] NONDETERMINISTIC FLOWCHART PROGRAMS WITH RECURSIVE PROCEDURES - SEMANTICS AND CORRECTNESS .1. [J]. THEORETICAL COMPUTER SCIENCE, 1981, 13 (02) : 193 - 223

[1] ALLEN FE, 1972, IBM RC3932 RES REP

[2] BURSTALL RM, 1974, 1ST P INT S CAT THEO

[3] BURSTALL RM, 1975, LECTURE NOTES COMPUT, V25, P126

[4] Elgot C. C., 1976, IEEE Transactions on Software Engineering, VSe-2, P41, DOI 10.1109/TSE.1976.233800

[5] Elgot C. C., 1979, Theoretical Computer Science, V8, P325, DOI 10.1016/0304-3975(79)90016-1

[6] ELGOT CC, 1980, IBM RC8221 RES REP

[7] ELGOT CC, 1975, 1973 P LOG C BRIST N, P175

[8] GALLIER J, 1979, LECTURE NOTES COMPUT, V71, P256

[9] NONDETERMINISTIC FLOWCHART PROGRAMS WITH RECURSIVE PROCEDURES - SEMANTICS AND CORRECTNESS .2. [J]. THEORETICAL COMPUTER SCIENCE, 1981, 13 (03) : 239 - 270

[10] NONDETERMINISTIC FLOWCHART PROGRAMS WITH RECURSIVE PROCEDURES - SEMANTICS AND CORRECTNESS .1. [J]. THEORETICAL COMPUTER SCIENCE, 1981, 13 (02) : 193 - 223