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