1. Data Structures and Algorithms;Aho,1983
2. Multidimensional divide and conquer;Bentley;Comm. ACM,1980
3. Algorithm classification through synthesis;Clark;Comput. J.,1980
4. On automating structured programming;Dershowitz,1975
5. The evolution of programs: program abstraction and instantiation;Dershowitz,1981