Discrete-Time Markov Control Processes door Jean B. Lasserre & Onesimo Hernandez-Lerma