Knowledge-based program construction - Barstow, David R (Programming Languages Series, 1979)