A complete transformational toolkit for compilers (1996)

by J BERGSTRA, T DINESH, J FIELD, J HEERING
Venue:In Proceedings of the European Symposium on Programming (Linköping