Danvy, Olivier, and Jacob Johannsen. From Outermost Reduction Semantics to Abstract Machine. Aarhus Universitet, 2015, https://doi.org/10.7146/aul.3.2.