On extremal binary doubly-even self-dual codes of length 88 | IEEE Conference Publication | IEEE Xplore