Aart Middeldorp,
"WRS 2008, 8th International Workshop on Reduction Strategies in Rewriting and Programming"
, Serie RISC Report Series, Nummer 08-09, RISC, JKU-Linz, Schloss Hagenberg, 4232 Hagenberg, 2008
Original Titel:
WRS 2008, 8th International Workshop on Reduction Strategies in Rewriting and Programming