Improving and Refining Programs by Program Manipulation (1976)

by T A Standish, D F Kibler, J M Neighbors
Venue:Proceedings of the 1976 Annual Conference (ACM ’76), Copyright © 2013 SciRes. JSEA Source-to-Source Translation and Software Engineering