B. M. Leavenworth

Programming with(out) the GOTO

B. M. Leavenworth, B. Leavenworth, 1972, SIGP.

Control structures in programming languages

B. M. Leavenworth, 1972 .

Transition functions: A method for semantic extensions

B. M. Leavenworth, 1971 .