D. A. Schmidt, “Abstract Interpretation in the Operational Semantics Hierarchy”, BRICS, bd. 4, nr. 2, jan. 1997.