(1)
Schmidt, D. Abstract Interpretation in the Operational Semantics Hierarchy. BRICS 1997, 4.