Speci cation of rewriting strategies (1997)

by Bas Luttik, Eelco Visser
Venue:2nd International Workshop on the Theory and Practice of Algebraic Speci cations (ASF+SDF'97), Electronic Workshops in Computing