"Automata, Languages and Programming, 14 conf., ICALP87" - читать интересную книгу автора (Thomas Ottmann)