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

• Palsberg, Jens (1992) Palsberg, Jens "A Provably Correct Compiler Generator"