P. D. Mosses, “Logical Specification of Operational Semantics”, BRICS, vol. 6, no. 55, Dec. 1999.