F. Nielson, “Program Transformations in a Denotational Setting”, DPB, vol. 10, no. 140, Nov. 1981.