[[Algorithm]] DevelopmentProcess에서 조금씩 개선하기

관련자료들
 * ProgramDevelopmentByStepwiseRefinement
 * StepwiseProgramConstruction