Rewriting, Computation and Proof - Comon-Lundh, Hubert (Springer Berlin Heidelberg, 2020)