Constructing programs from example computations (1976)

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