Schmidt, D. (1997) “Abstract Interpretation in the Operational Semantics Hierarchy”, BRICS Report Series, 4(2). doi: 10.7146/brics.v4i2.18781.