Mosses, P. D. (1999) “Logical Specification of Operational Semantics”, BRICS Report Series, 6(55). doi: 10.7146/brics.v6i55.20125.