Proof of a conjecture of McEliece regarding the expansion index of the minimal trellis | IEEE Journals & Magazine | IEEE Xplore