Latin 2008: theoretical informatics 8th Latin American symposium, Búzios, Brazil, April 7-11, 2008 ; proceedings (Springer, 2008)