Extremal Type II Z_4-codes constructed from binary doubly even self-dual codes of length 40 - Masaaki Harada (2017)