An introduction to Markov processes, Daniel W. Stroock