"Rewriting techniques and applications" - читать интересную книгу автора (Pierre Lescanne)