Sequential Formula Translation (Reprint)

Klaus Samelson, Friedrich L. Bauer. Sequential Formula Translation (Reprint). Communications of the ACM, 26(1):9-13, 1983.

Authors

Klaus Samelson

This author has not been identified. Look up 'Klaus Samelson' in Google

Friedrich L. Bauer

This author has not been identified. Look up 'Friedrich L. Bauer' in Google