On the essence of translation. In Formal Description of Programming Concepts (1977)

by A P ERSHOV
Venue:ACM Transactions on Programming Languages and Systems