Larkham, P. J. Obituary: Antony D. King (1931-2022). jum 2023, 27, 73.