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