A Compiler Correctness Proof for the Static Link Technique by Means of Evolving Algebras.

Markus Mohnen A Compiler Correctness Proof for the Static Link Technique by Means of Evolving Algebras. 257-303 1997 29 Fundam. Inform. 3 db/journals/fuin/fuin29.html#Mohnen97