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