Recent Trends in Algebraic Development Techniques - Fiadeiro, José Luiz; Hutchison, David; Kanade, Takeo; Schobbens, Pierre-Yves; Kittler, Josef (Springer Berlin Heidelberg, 2007)