The automorphism group of a binary self-dual double even [72, 36, 16] code is solvable - Bouyuklieva, Stefka; O'Brien, Eamonn A.; Willems, Wolfgang M. (Otto-von-Guericke-Universität, Fakultät für Mathematik Preprint, 2005)