Johannsen, J. (2015) On Computational Small Steps and Big Steps: Refocusing for Outermost Reduction. Aarhus, DK: AU Library Scholarly Publishing Services (Ph.D-afhandlinger). Available at: https://ebooks.au.dk/aul/catalog/book/8 (Accessed: 12 August 2025).