David Vere-Jones, 1936–2024. - Davies, Robert; Thomson, Peter (Journal of the Royal Statistical Society: Series A (Statistics in Society), 2025)