"Automata, Languages and Programming, 30 conf., ICALP 2003" - читать интересную книгу автора (Jos C.M. Baeten, Jan Karel Lenstra, Joachim Parrow, Gerhard J. Woeginger)