Diffusions, Markov processes, and martingales - Rogers, L. C. G. (Cambridge University Press, 2000)