Rewriting techniques and applications 5th international conference, RTA-93, Montreal, Canada, June 16 - 18, 1993 ; proceedings (Springer, 1993)