Carlo Blundo Cosimo Laneve Theoretical Computer Science, 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings ICTCS Lecture Notes in Computer Science 2841 Springer 2003 3-540-20216-1 db/conf/ictcs/ictcs2003.html