From Dynamic Programming to Greedy Algorithms
Richard S. Bird and Oege de Moor
Book Title
IFIP TC2/WG2.1 State−of−the−Art Report on Formal Program Development
Editor
Bernhard Möller and Helmut Partsch and Steve Schumann
Publisher
Springer−Verlag
Series
Lecture Notes in Computer Science
Volume
755
Year
1993