Finite dynamic Programming. An approach to finite Markov decision processe. - White, Douglas John (Wiley, 1978)