Algebraic specification of a compiler for a language with pointers / E.A. van der Meulen

Algebraic specification of a compiler for a language with pointers / E.A. van der Meulen