Action Semantics. Cambridge Tracts in Theoretical Computer Science 26 (1992)

by P D Mosses