Klaus Samelson, Friedrich L. Bauer. Sequential Formula Translation. Communications of the ACM, 3(2):76-83, 1960. [doi]
@article{SamelsonB60,
title = {Sequential Formula Translation},
author = {Klaus Samelson and Friedrich L. Bauer},
year = {1960},
doi = {10.1145/366959.366968},
url = {http://doi.acm.org/10.1145/366959.366968},
tags = {translation},
researchr = {https://researchr.org/publication/SamelsonB60},
cites = {0},
citedby = {0},
journal = {Communications of the ACM},
volume = {3},
number = {2},
pages = {76-83},
}