Mosses, Peter D. “A Constructive Approach to Compiler Correctness”. DAIMI Report Series 9, no. 118 (April 1, 1980). Accessed April 25, 2024. https://tidsskrift.dk/daimipb/article/view/6536.