Recent Trends in Algebraic Development Techniques - Corradini, Andrea (Springer Berlin Heidelberg, 2009)