%0 Journal Article %1 journals/cacm/SamelsonB83 %A Samelson, Klaus %A Bauer, Friedrich L. %D 1983 %J Commun. ACM %K dblp %N 1 %P 9-13 %T Sequential Formula Translation (Reprint). %U http://dblp.uni-trier.de/db/journals/cacm/cacm26.html#SamelsonB83 %V 26

@article{journals/cacm/SamelsonB83, added-at = {2018-11-06T00:00:00.000+0100}, author = {Samelson, Klaus and Bauer, Friedrich L.}, biburl = {https://www.bibsonomy.org/bibtex/28e02faedb913b22a834ede9d9bf5e1de/dblp}, ee = {https://doi.org/10.1145/357980.357983}, interhash = {9a9a49e6177e2428d5eba230c5e6aa8d}, intrahash = {8e02faedb913b22a834ede9d9bf5e1de}, journal = {Commun. ACM}, keywords = {dblp}, number = 1, pages = {9-13}, timestamp = {2018-11-07T12:01:03.000+0100}, title = {Sequential Formula Translation (Reprint).}, url = {http://dblp.uni-trier.de/db/journals/cacm/cacm26.html#SamelsonB83}, volume = 26, year = 1983 }