"Term rewriting and all that" is already 300 pages long but it could really do with having more words in it