Recent Trends in Algebraic Development Techniques - Markus Roggenbach (Springer International Publishing, 2021)