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