"Automata, Languages and Programming, 10 conf., Barcelona, Spain, July 18-22, 1983" - читать интересную книгу автора (J. Diaz)