Schmidt, D.A. 1997. Abstract Interpretation in the Operational Semantics Hierarchy. BRICS Report Series. 4, 2 (Jan. 1997). DOI:https://doi.org/10.7146/brics.v4i2.18781.