@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}
}