Schmidt, David. “Abstract Interpretation in the Operational Semantics Hierarchy”. BRICS Report Series 4, no. 2 (January 2, 1997). Accessed December 13, 2019. https://tidsskrift.dk/brics/article/view/18781.