Richard S. Bird Oege de Moor Solving Optimisation Problems with Catamorphism. 45-66 1992 conf/mpc/1992 MPC db/conf/mpc/mpc92.html#BirdM92