Foundations of software science and computation structures : 4th International Conference, FoSSaCS 2001 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings - Honsell, Furio; Miculan, Marino (Lecture notes in computer science ;, 2001)