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