Email Record: Contraction mappings in the theory underlying dynamic programming /