A Complete Transformational Toolkit for Compilers (1996)

by J.A. Bergstra, T.B. Dinesh, J. Field, J. Heering
Venue:ACM Transactions on Programming Languages and Systems