Recent Trends in Algebraic Development Techniques : 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001. Selected Papers - Maura Cerioli, Gianna Reggio ((Lecture Notes in Computer Science))