Artigos interessantes
Niklaus Wirth,
Program Development by Stepwise Refinement
. Communications of the ACM 14(4):221-227, 1971.