From Dynamic Programming to Greedy Algorithms (0)

by R S Bird, O de Moor
Venue:In Formal Program Development, Volume 755 of Lecture