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 - Cerioli, Maura; Cerioli, Maura; Reggio, Gianna; Reggio, Gianna (Springer Berlin Heidelberg : Imprint: Springer, 2002)