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