P. D. Mosses, “Logical Specification of Operational Semantics”, BRICS, bd. 6, nr. 55, dec. 1999.