Improving and refining program by program manipulation (1976)

by T A Standish, D C Harriman, D F Kibler