Recent Trends in Algebraic Development Techniques - Fiadeiro (Springer International Publishing, 2019)