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.; Reggio, Gianna, (Lecture notes in computer science)