Krishnaswamy R.: Constructing Programs from Example Computations (1976)

by A W Biermann
Venue:IEEE Trans. Softw. Eng