"Handbook of theoretical computer science. Vol.B. Formal models and semantics" - читать интересную книгу автора (van Leeuwen J. (ed.))