Ager, M. S. (2004). From Natural Semantics to Abstract Machines. BRICS Report Series, 11(20). https://doi.org/10.7146/brics.v11i20.21845