Danvy O, Johannsen J. From Outermost Reduction Semantics to Abstract Machine [Internet]. Aarhus, DK: AU Library Scholarly Publishing Services; 2015 [cited 2025 Jun. 21]. (Rapporter). Available from: https://ebooks.au.dk/aul/catalog/book/3