Klaus Samelson Friedrich L. Bauer Sequential Formula Translation (Reprint). 9-13 1983 26 Commun. ACM 1 db/journals/cacm/cacm26.html#SamelsonB83