Lange, T. P. The Correctness of an Optimized Code Generation. DPB 1992, 21.