An experimental program transformation and synthesis system (1981)

by John Darlington
Venue:Artificial Intelligence