A system which automatically improves programs (1976)

by J Darlington, R M Burstall
Venue:Acta Informatica