Bharat Jayaraman David A. Plaisted Functional programming with sets. 194-211 1987 conf/fpca/1987 FPCA db/conf/fpca/fpca1987.html#JayaramanP87