Recent Trends in Algebraic Development Techniques - MartÃ-Oliet (Springer Berlin Heidelberg, 2013)