B. Gramlich, S. Lucas (ed.):
"3rd International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2003) - Final Proceedings";
Elsevier Science Publishers, 2003, ISSN: 1571-0661.
http://www1.elsevier.com/gej-ng/31/29/23/show/Products/notes/contents.htt