"STACS 88, Theoretical Aspects of Computer Science 5 conf" - читать интересную книгу автора (Robert Cori, Martin Wirsing)