400-MHz/60-mm All-REBCO Nuclear Magnetic Resonance Magnet: Magnet Design | IEEE Journals & Magazine | IEEE Xplore