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