Ager, M. S. From Natural Semantics to Abstract Machines. BRICS 2004, 11.