Knowledge-based program construction - Barstow, David R. (New York Elsevier North-Holland, 1979)
Includes indexes
Bibliography: p.249-255
1
Keywords: Electronic digital computers -- Programming