Probability:intro P by Geoffrey Grimmett & Dominic Welsh