EdsgerDijkstra의 StepwiseRefinement에 관한 논문
http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD227.PDF
CategoryPaper