Stochastic control theory dynamic programming principle - Nisio, Makiko (Springer, 2015)