De Cindio, Fiorella, Computer Science Department, Università di Milano, Milan, Italy