M. S. Ager, “From Natural Semantics to Abstract Machines”, BRICS, vol. 11, no. 20, Oct. 2004.