@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'97)}, 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/}, urlpsgz = {http://www.cs.uu.nl/people/visser/ftp/LV97.ps.gz}, pubcat = {workshop}, project = {Stratego}, category = {key and refereed}, }