From Dynamic Programming to Greedy Algorithms (1992)

by Richard Bird, Oege De Moor
Venue:Formal Program Development, volume 755 of Lecture Notes in Computer Science