Mosses, P. D. “A Constructive Approach to Compiler Correctness”. DAIMI Report Series, vol. 9, no. 118, Apr. 1980, doi:10.7146/dpb.v9i118.6536.