Theoretical Computer Science : 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings - Carlo Blundo, Cosimo Laneve ((Lecture Notes in Computer Science))