Johannsen J. On Computational Small Steps and Big Steps: Refocusing for Outermost Reduction [Internet]. Aarhus, DK: Aarhus Universitet; 2015 [cited 2025 Nov. 17]. (Ph.D-afhandlinger). Available from: https://openbooks.kb.dk/au/catalog/book/8