An Introduction To Markov Processes by Daniel W. Stroock