"Automata, Languages and Programming, 24 conf., ICALP97" - читать интересную книгу автора (Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela)