LATIN 2008: Theoretical Informatics - Laber, Eduardo Sany; Bornstein, Claudson; Faria, Luerbio; Nogueira, Loana Tito (Springer Berlin Heidelberg, 2008)