Theoretical Computer Science 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005. Proceedings - Coppo, Mario; Lodi, Elena; Pinna, G. Michele (Springer Berlin Heidelberg, 2005)