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