Hierarchical Program Structures", in O (0)

by O-J Dahl, C A R Hoare