Danvy, O.; Johannsen, J. From Outermost Reduction Semantics to Abstract Machine; Rapporter; AU Library Scholarly Publishing Services: Aarhus, DK, 2015.