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

관련자료들

• ProgramDevelopmentByStepwiseRefinement

• StepwiseProgramConstruction