Palsberg, J. (1992) “Provably Correct Compiler Generation”, DAIMI Report Series, 21(422). doi: 10.7146/dpb.v21i422.6736.