A survey of strategies in rule-based program transformation systems

Eelco Visser. A survey of strategies in rule-based program transformation systems. Journal of Symbolic Computation, 40(1):831-873, 2005. [doi]

Bibliographies