Danvy, O., and M. Spivey. “On Barron and Strachey’s Cartesian Product Function”. BRICS Report Series, vol. 14, no. 14, July 2007, doi:10.7146/brics.v14i14.21934.