Regenerative Markov decision models - Hordijk, Arie (1975)