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