Robert Paige Future Directions in Program Transformations. 170 1996 28 ACM Comput. Surv. 4es db/journals/csur/csur28.html#Paige96