Constrained Markov Decision Processes - Eitan Altman (Taylor and Francis, 1999)