17th Int. Workshop on Algebraic Development Techniques  March 27 - 29, 2004  Barcelona, Spain