Recent Trends in Algebraic Development Techniques : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers - José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas ((Lecture Notes in Computer Science))