Nielson, F. Program Transformations in a Denotational Setting. DPB 1981, 10.