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