B. Gramlich, S. Lucas (ed.): "Reduction Strategies in Rewriting and Programming, Proceedings of WRS'03"; Universidad Politecnica de Valencia, 2003, ISBN: 84-96221-03-2.