Automata, languages and programming 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11 - 15, 2005 ; proceedings (Springer, 2005)