Abstract Dynamic Programming by Dimitri Bertsekas