Borissov, Y., and M. Markov. “Verifying the Computed Weight Distribution for the Binary Reed–Muller Code R(4,9)”. Mathematics and Education in Mathematics, vol. 55, May 2026, pp. 340-9, doi:10.55630/mem.2026.55.340-349.