Rewriting Techniques and Applications 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004. Proceedings - Oostrom, Vincent van (Springer Berlin Heidelberg, 2004)