An upper bound of the value of t of the support t-designs of extremal Type III and IV codes - Tsuyoshi Miezaki; Hiroyuki Nakasora (2020)