Automata, languages and programming : 40th international colloquium, ICALP 2013, Riga, Latvia, july 8-12, 2013, proceedings (2013)