Markov Decision Processes - White, D J (John Wiley, 1993)