Constructing programs from example computations

Authored By:	A. W. Biermann and R. Krishnaswamy
Paper Title:	Constructing programs from example computations
In:	IEEE Trans. on Software Engineering
Vol. SE-2
Publication Date:	1976
Pages:	141-153