Structured programming and automatic program synthesis
R. C. T. Lee, S. K. Chang · 1974
When a computer is used to synthesize a program, there is usually too much information for it to handle. In this paper, we propose the use of stepwise refinement technique, based upon the concept of structured programming, to overcome this difficulty.