A Semantic Approach to Automatic Program Improvement (1972)

by J Darlington