2

Dahl O. J.; Dijkstra E. W.; Hoare C. A. R.: Structured Programming; Academic Press; London 1972.