Rewriting and Typed Lambda Calculi - Gilles Dowek (Springer International Publishing, 2014)