1. A. Aho, J. Hopcroft, and J. Ullman. The Design and Analysis of Computer Algorithms. Addison-Wesley, 1974.
2. A. Aho, J. Hopcroft, and J. Ullman. Data Structures and Algorithms. Addison-Wesley, 1983.
3. D. Barstow. The roles of knowledge and deduction in algorithm design. Research Report 178, Yale University, April 1980.
4. F. Bauer et al. Programming in a wide spectrum language: a collection of examples. Science of Computer Programming, 1:73–114, 1981.
5. R. Bird. Tabulation techniques for recursive programs. Computing Surveys, 12(4):403–417, 1980.