An introduction to Markov processes - Stroock, Daniel W. (Springer, 2005)