Term rewriting systems - Bezem, M. 1956- (Cambridge Tracts in Theoretical Computer Science ;, 2003)