Rewriting techniques and applications 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22 - 24, 2001 ; proceedings (Springer, 2001)
Literaturangaben