Rewriting techniques and applications 11th international conference, RTA 2000, Norwich, UK, July 10 - 12, 2000 ; proceedings (Springer, 2000)