Recent trends in algebraic development techniques 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, revised selected papers - Fiadeiro, JosÃ© Luiz (Lecture Notes in Computer Science,, 2005)