Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II - Fomin, Fedor V.; Freivalds, Rūsiņš; Kwiatkowska, Marta; Peleg, David (Springer Berlin Heidelberg : Imprint: Springer, 2013)