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