Automata, languages and programming 37th international colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I - Abramsky, Samson (Lecture Notes in Computer Science,, 2010)