1. Dynamic Programming;Bellman,1957
2. Applied Dynamic Programming;Bellman,1962
3. Lattice Theory;Birkhoff,1948
4. Necessary and sufficient conditions for dynamic programming of combinatorial type;Bonzon;J. ACM,1970
5. Computability and Unsolvability;Davis,1958