Thomas A. Standish, Dennis F. Kibler, James M. Neighbors. Improving and refining programs by program manipulation. In John A. Gosden, Olin G. Johnson, editors, Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976. pages 509-516, ACM, 1976. [doi]
Abstract is missing.