Issue No. 06 - June (1975 vol. 8)
R. Bigelow , Burroughs Corp.
Structured code has been restricted to the use of certain control statements, such as IF, CASE, and WHILE. The absence of a GOTO implies that control enters and leaves regions of code in a LIFO manner. Hence, the control environment can be maintained by a stack of return addresses; and call and return instructions, rather than branches, can be used to transfer control in the machine. The SDL S-machine follows this principle.
R. Bigelow, "Structured Code via Stack Machine", Computer, vol. 8, no. , pp. 67, June 1975, doi:10.1109/C-M.1975.218995