"Automata, Languages and Programming, 21 conf., ICALP94" - читать интересную книгу автора (Serge Abiteboul, Eli Shamir)