Johannsen, J. 2015. On Computational Small Steps and Big Steps: Refocusing for Outermost Reduction. AU Library Scholarly Publishing Services.