D. Hutton, “Brian Laver”, QRE, vol. 14, no. 1, p. 24, Jan. 2007, doi: 10.1017/S1321816600005882.