Rewriting - Calinescu, Matei