Johannsen, Jacob. 2015. On Computational Small Steps and Big Steps: Refocusing for Outermost Reduction. Ph.D-afhandlinger. Aarhus, DK: Aarhus Universitet. https://doi.org/10.7146/aul.8.8.