שליחה במסרון: Rewriting techniques and applications :