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