An experiment in knowledge-based automatic programming
–Classics/files/AI/classics/Webber-Nilsson-Readings/Rdgs-NW-Barstow.pdf
Summary of Stanford Ph.D. dissertation, Computer Science Dept. Stanford University (1977).Artificial Intelligence 12(2): 73-119.
Feb-1-1979