Bas Luttik, Eelco Visser. Specification of Rewriting Strategies. In M. P. A. Sellink, editor, 2nd International Workshop on the Theory and Practice of Algebraic Specifications (ASF+SDF 1997). Electronic Workshops in Computing, Springer-Verlag, Berlin, November 1997.