A Language for Specifying Program Transformations. - David Hildum; Jacques Cohen (IEEE Trans. Software Eng., 1990)