Danvy O, Johannsen J. From Outermost Reduction Semantics to Abstract Machine [Internet]. Aarhus, DK: Aarhus Universitet; 2015 [cited 2026 Jan. 1]. (Rapporter). Available from: https://openbooks.kb.dk/au/catalog/book/3