Solving optimization problems with catamorphisms (1992)

by O de Moor, R S Bird
Venue:In Mathematics of Program Construction (LNCS 669