Lange, T. P. “The Correctness of an Optimized Code Generation”. DAIMI Report Series, vol. 21, no. 427, Nov. 1992, doi:10.7146/dpb.v21i427.6741.