Automata, Languages, and Programming : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II - Fedor V. Fomin, R.si.. Freivalds, Marta Kwiatkowska, David Peleg ((Lecture Notes in Computer Science))