Johnson-Freyd, et al.. First Class Call Stacks: Exploring Head Reduction. Open Publishing Association, June 2016, doi:10.4204/eptcs.212.2.