Danvy, O.; Spivey, M. On Barron and Strachey’s Cartesian Product Function. BRICS 2007, 14.