Recent Trends in Algebraic Development Techniques - James (Springer International Publishing, 2017)