"Handbook of Theoretical Computer Science: Algorithms and Complexity. Volume B: Formal Models and Semantics. Two-Volume Set" - читать интересную книгу автора (Jan Van Leeuwen)