Title: Abstract Dynamic Programming, 2nd Edition