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