Text this: Rewriting techniques and applications :