Danvy, O. and Johannsen, J. 2015. From Outermost Reduction Semantics to Abstract Machine. AU Library Scholarly Publishing Services.