Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers - Fiadeiro, José Luiz; Mosses, Peter D.; Orejas, Fernando (Springer Berlin Heidelberg, 2005)