"Automata, Languages and Programming, 28 conf., ICALP 2001" - читать интересную книгу автора (P.G. Spirakis, Fernando Orejas, Paul G. Spirakis, Jan van Leeuwen)