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