William D. Young, Donald I. Good. Steelman and the verifiability of (preliminary) ADA. SIGPLAN Notices, 16(2):113-119, 1981. [doi]
@article{YoungG81,
title = {Steelman and the verifiability of (preliminary) ADA},
author = {William D. Young and Donald I. Good},
year = {1981},
doi = {10.1145/954269.954286},
url = {https://doi.org/10.1145/954269.954286},
researchr = {https://researchr.org/publication/YoungG81},
cites = {0},
citedby = {0},
journal = {SIGPLAN Notices},
volume = {16},
number = {2},
pages = {113-119},
}