Real analysis and probability - Dudley, Richard Mansfield 1938-2020 (Chapman and Hall, 1989)