Constructing programs from example computations (1976)

by A W Biermann, R Krishnaswamy
Venue:IEEE Transaction Software Engineering