@inproceedings{LV97, author = {Luttik, Bas and Visser, Eelco}, title = {Specification of Rewriting Strategies}, booktitle = {2nd International Workshop on the Theory and Practice of Algebraic Specifications (ASF+SDF 1997)}, editor = {M. P. A. Sellink}, year = {1997}, month = {November}, series = {Electronic Workshops in Computing}, publisher = {Springer-Verlag}, address = {Berlin}, url = {http://www.springer.co.uk/ewic/workshops/ASFSDF97/}, urlps = {http://www.st.ewi.tudelft.nl/~eelco/papers/LV97.ps}, pubcat = {workshop}, project = {Stratego}, category = {key and refereed}, }