Recent Trends in Algebraic Development Techniques - WADT 2004; Fiadeiro, José Luiz; Kanade, Takeo; Mosses, Peter; Orejas, Fernando (Springer Berlin / Heidelberg, 2005)