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