Knowledge-based program construction - Barstow, David R. (The computer science library. Programming languages series ; ;, 1979)