Using Domain Algebras to Prove the Correctness of a Compiler.

Peter Dybjer Using Domain Algebras to Prove the Correctness of a Compiler. 98-108 1985 conf/stacs/1985 STACS db/conf/stacs/stacs85.html#Dybjer85 http://dx.doi.org/10.1007/BFb0023999