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