Speeding up the synthesis of programs from traces

Authored By:	A. W. B. R. I. Biermann and F. E. Petry
Paper Title:	Speeding up the synthesis of programs from traces
In:	IEEE Trans. on Computers
Vol. C-24
Publication Date:	1975
Pages:	122-136