Johannsen, J. On Computational Small Steps and Big Steps: Refocusing for Outermost Reduction; Ph.D-afhandlinger; AU Library Scholarly Publishing Services: Aarhus, DK, 2015.