Program transformation and synthesis: Present capabilities (1977)

by J Darlington