Automata, languages and programming : 32nd international colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005 ; proceedings / - Caires, Luís. (Springer, 2005)