Peter D. Mosses Logical Specification of Operational Semantics. 32-49 1999 conf/csl/1999 CSL db/conf/csl/csl99.html#Mosses99 http://dx.doi.org/10.1007/3-540-48168-0_4