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