Recent Trends in Algebraic Development Techniques - Corradini, Andrea; Kanade, Takeo; Montanari, Ugo; Kittler, Josef (Springer Berlin Heidelberg, 2009)