On program synthesis knowledge (1978)

by C, D Barstow
Venue:Artificial Intelligence