Recent Trends in Algebraic Development Techniques: 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers (Lecture Notes in Computer Science)

• Fernando Orejas,Luiz Fiadeiro,Peter Mosses