SMS: Automata, languages and programming. 35th international colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008 ; proceedings / Luca Aceto [and others] (eds.). Part I :