Action Semantics, volume 26 of Cambridge Tracts in Theoretical Computer Science (1992)

by Peter D Mosses