Danvy, O. and Johannsen, J. (2015) From Outermost Reduction Semantics to Abstract Machine. Aarhus, DK: AU Library Scholarly Publishing Services (Rapporter). Available at: https://ebooks.au.dk/aul/catalog/book/3 (Accessed: 21 June 2025).