On the essence of compilation (1978)

by A P Ershov
Venue:Formal Description of Programming Concepts