Nielson, F. (1981). Program Transformations in a Denotational Setting. DAIMI Report Series, 10(140). https://doi.org/10.7146/dpb.v10i140.7415