Lange TP. The Correctness of an Optimized Code Generation. DPB [Internet]. 1. november 1992 [henvist 7. december 2025];21(427). Tilgængelig hos: https://tidsskrift.dk/daimipb/article/view/6741