Danvy, O.; Johannsen, J. From Outermost Reduction Semantics to Abstract Machine; Rapporter; Aarhus Universitet: Aarhus, DK, 2015. https://doi.org/10.7146/aul.3.2.