Thursday, 25 April 2024
Program construction consists of a sequence of refinement steps.
Niklaus Wirth
Search