Recent Trends in Algebraic Development Techniques - Phillip James, Markus Roggenbach (Springer, 2017)