Program transformation by templates based on term rewriting (2005)

by Y Chiba, T Aoto, Y Toyama
Venue:Proceedings of the 7th ACMSIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP 2005), ACM