"Automata, Languages and Programming, Part I - ICALP 2011 " - читать интересную книгу автора (Luca Aceto, Monika Henzinger, Jiri Sgall)