Modular Structural Operational Semantics (2004)

by P D Mosses
Venue:J. Log. Algebr. Program