"Current Trends in Theoretical Computer Science: The Challenge of the New Century (Vol 1: Algorithms and Complexity) (Vol 2: Formal Models and Semantics)" - читать интересную книгу автора (Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa)