Danvy, O., & Johannsen, J. (2015). From Outermost Reduction Semantics to Abstract Machine. AU Library Scholarly Publishing Services. https://ebooks.au.dk/aul/catalog/book/3