Fleming, Wendell H. Controlled Markov processes and viscosity solutions Wendell H. Fleming - New York Springer 1993