Theoretical Computer Science - ICTCS 2005; Coppo, Mario; Kanade, Takeo; Lodi, Elena; Pinna, G. Michele (Springer Berlin / Heidelberg, 2005)