Diffusions, Markov processes, and martingales (Wiley, 1996)