SCHMIDT, D. Abstract Interpretation in the Operational Semantics Hierarchy. BRICS Report Series, v. 4, n. 2, 2 Jan. 1997.