R. P. Gabriel, T. Finin, and R. Sun, “David L Waltz, in Memoriam”, AIMag, vol. 33, no. 4, p. 19, Dec. 2012.