On the automorphism group of a doubly-even (72,36,16) code | IEEE Journals & Magazine | IEEE Xplore