The Reduceron reconfigured and re-evaluated. - NAYLOR, MATTHEW; RUNCIMAN, COLIN (Journal of Functional Programming, 2012)