Chapter 1: Introduction -- Chapter 2: Rewriting -- Chapter 3: Transition to