Term Rewriting and All That - sidottu, Englanti, 1998