Oostrom, Vincent Van

Rewriting Techniques and Applications: 15th International Conference, Rta 2004, Aachen, Germany, June 3-5, 2004, Proceedings