O. Danvy and M. Spivey, “On Barron and Strachey’s Cartesian Product Function”, BRICS, vol. 14, no. 14, Jul. 2007.