"Automata, Languages and Programming, 7 conf" - читать интересную книгу автора (J. W. de Bakker, J. van Leeuwen)