Ashok Prasad Maitra Dissertation Dynamic Programming for Countable StateSystems Dissertation Advisor Blackwell Year Graduated 1963