Action Semantics., Cambridge Tracts (1992)

by P D Mosses
Venue:in Theoretical Computer Science 26