Robert S. Boyer, J. Strother Moore, Robert E. Shostak
Primitive Recursive Program Transformations
POPL, 1976.
@inproceedings{POPL-1976-BoyerMS,
author = "Robert S. Boyer and J. Strother Moore and Robert E. Shostak",
booktitle = "{Conference Record of the Third Symposium on Principles of Programming Languages}",
doi = "10.1145/800168.811550",
editor = "Susan L. Graham and Robert M. Graham and Michael A. Harrison and William I. Grosky and Jeffrey D. Ullman",
pages = "171--174",
publisher = "{ACM Press}",
title = "{Primitive Recursive Program Transformations}",
year = 1976,
}