"The Semantics of Programming Languages: An Elementary Introduction Using Structural Operational Semantics " - читать интересную книгу автора (Matthew Hennessy)