M. Bogucki, “Jørgen Steen Jensen died (November 1, 1938 – February 1, 2025)”, wn, vol. 69, no. 213, pp. 213–215, Dec. 2025.