"Automata, Languages and Programming, 34 conf., ICALP 2007" - читать интересную книгу автора (Lars Arge, Christian Cachin, Tomasz Jurdzinski, Andrzej Tarlecki)