Ager, Mads Sig. “From Natural Semantics to Abstract Machines”. BRICS Report Series 11, no. 20 (October 11, 2004). Accessed September 29, 2023. https://tidsskrift.dk/brics/article/view/21845.