/images/quoteimage/niklaus-wirth-fb-621968.jpg

Program construction consists of a sequence of refinement steps.

Niklaus Wirth