M. S. Ager, “From Natural Semantics to Abstract Machines”, BRICS, bd. 11, nr. 20, okt. 2004.