The Next-to-Minimal Weights of Binary Projective Reed–Muller Codes | IEEE Journals & Magazine | IEEE Xplore