Implicit Propagation in Structural Operational Semantics. - Peter D. Mosses; Mark J. New (SOS@ICALP, 2008)