Amy P. Felty
-
Term rewriting with traversal functions
ACM Transactions on Software Engineering and Methodology (TOSEM)