Algorithms, graphs and computers - Bellman, Richard Ernest 1920-1984 (Academic, 1972)