Antonio Restivo Simona Ronchi Della Rocca Luca Roversi Theoretical Computer Science, 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001, Proceedings ICTCS Lecture Notes in Computer Science 2202 Springer 2001 3-540-42672-8 db/conf/ictcs/ictcs2001.html