Mosses, P. D. (1980). A Constructive Approach to Compiler Correctness. DAIMI Report Series, 9(118). https://doi.org/10.7146/dpb.v9i118.6536