Schmidt, D. A. Abstract Interpretation in the Operational Semantics Hierarchy. BRICS 1997, 4.