"Action Semantics (Cambridge Tracts in Theoretical Computer Science)" - читать интересную книгу автора (Peter D. Mosses)