Palsberg, Jens "A Provably Correct Compiler Generator"

(1992) ESOP '92, Proceedings 4th European Symposium on Programming, Rennes, France, February 1992  

Languages mentioned SIS {1979} Semantics Implementation System