C. T. P. Burton Program Transformation by Derivor Manipulations. 90-97 1992 PEPM db/conf/pepm/pepm92.html#Burton92