Richard S. Bird Two Greedy Algorithms. 237-244 1992 2 J. Funct. Program. 2 db/journals/jfp/jfp2.html#Bird92