Rewriting: a handbook of revision