M. Lehner, “In Memoriam Richard W. Redding”, jarce, vol. 59, no. 1, pp. 13–15, Nov. 2023.