Markov decision processes etc by Duyn Schouten