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