Formalization and Automatic Derivation of Code Generators (1978)

by R G G Cattell