Automata, languages and programming 37th international colloquium, ICALP 2010, Bordeaux, France, July 6 -10, 2010 ; proceedings - Abramsky, Samson 1953- (Springer, 2010)