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