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