Hierarchical program structures, in: Structured Programming (1972)

by O-J Dahl, C Hoare