Danvy, O. and Johannsen, J. 2015. From Outermost Reduction Semantics to Abstract Machine. Aarhus Universitet.