Mosses, P. D. Logical Specification of Operational Semantics. BRICS 1999, 6.