Ralf Lämmel Typed generic traversal with term rewriting strategies. 1-64 2003 54 J. Log. Algebr. Program. 1-2 http://dx.doi.org/10.1016/S1567-8326(02)00028-0 db/journals/jlp/jlp54.html#Lammel03