Lange, T.P. 1992. The Correctness of an Optimized Code Generation. DAIMI Report Series. 21, 427 (Nov. 1992). DOI:https://doi.org/10.7146/dpb.v21i427.6741.