Maura Cerioli Gianna Reggio 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 WADT Lecture Notes in Computer Science 2267 Springer 2001 3-540-43159-4 db/conf/wadt/wadt2001.html