Text this: Discrete-time Markov control processes :