Structured Programming (1972)

by E W Dijkstra O-J Dahl, C A R Hoare