R. Shrimpton and D. Sanders, “The illustrious career of John Mason”, WN, vol. 9, no. 2, pp. 140–141, Sep. 2018, doi: 10.26596/wn.201892140-141.