LATIN 2006: Theoretical Informatics - Correa, José R.; Correa, José Rafael; Hevia, Alejandro; Kanade, Takeo; Kiwi, Marcos (Springer Berlin / Heidelberg, 2006)