and Ramachandran Krishnaswamy. Constructing programs from example computations (1976)

by Alan W Biermann
Venue:IEEE Transactions on Software Engineering