Giegerichand Meyer. Algebraic Dynamic Programming. Springer Berlin Heidelberg, 2002, doi:10.1007/3-540-45719-4_24.