Danvy, O. and Spivey, M. 2007. On Barron and Strachey’s Cartesian Product Function. BRICS Report Series. 14, 14 (Jul. 2007). DOI:https://doi.org/10.7146/brics.v14i14.21934.