12.01 STEPWISE REFINEMENT