Recent Trends in Algebraic Development Techniques - José Luiz Fiadeiro, Ionu? ?u?u (Springer, 2019)