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