"Automata, Languages and Programming, 17 conf., ICALP90" - читать интересную книгу автора (Michael S. Paterson)