K. Betsumiya, M. Harada, and A. Munemasa, “A Complete Classification of Doubly Even Self-dual Codes of Length 40”, Electron. J. Combin., vol. 19, no. 3, p. P18, Aug. 2012.