On Size vs. Efficiency for Programs Admitting Speed-Ups. - John Helm; Paul Young (J. Symb. Log., 1971)