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