From dynamic programming to greedy algorithms (1993)

by R Bird, O de Moor
Venue:Formal Program Development, LNCS 755