Niklaus Wirth, que entre sus logros está el desarrollo del lenguaje de programación Pascal, escribió el artículo "Program Development by Stepwise Refinement", que tuvo mucha influencia.