William D. Young. A Mechanically Verified Code Generator. Journal of Automated Reasoning, 5(4):493-518, 1989.
@article{Young89,
title = {A Mechanically Verified Code Generator},
author = {William D. Young},
year = {1989},
researchr = {https://researchr.org/publication/Young89},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {5},
number = {4},
pages = {493-518},
}