[1]
P. D. Mosses, “A Constructive Approach to Compiler Correctness”, DPB, vol. 9, no. 118, Apr. 1980.