Graphs dynamic programming and finite games - Kaufmann A (1967)