Reference "A Syntactic Approach to Program Transformations", Z. Ariola et. al., SIGPLAN Notices 26(9):116-129 (Sept 1991). This article was originally based on content from FOLDOC, used with permission. Update as needed.