Palsberg, J. (1992) “A Provably Correct Compiler Generator”, DAIMI Report Series, 21(382). doi: 10.7146/dpb.v21i382.6614.