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]
@inproceedings{StandishKN76,
title = {Improving and refining programs by program manipulation},
author = {Thomas A. Standish and Dennis F. Kibler and James M. Neighbors},
year = {1976},
doi = {10.1145/800191.805652},
url = {http://doi.acm.org/10.1145/800191.805652},
researchr = {https://researchr.org/publication/StandishKN76},
cites = {0},
citedby = {0},
pages = {509-516},
booktitle = {Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976},
editor = {John A. Gosden and Olin G. Johnson},
publisher = {ACM},
}