D. A. Schmidt, “Abstract Interpretation in the Operational Semantics Hierarchy”, BRICS, vol. 4, no. 2, Jan. 1997.