M. Mielczarek, “Jerzy Piniński died (19 November 1939 – 13 August 2024)”, wn, vol. 68, no. 212, pp. 273–274, Dec. 2024.