Design of a 30-K/4-kJ HTS Magnet Cryocooled With Solid Nitrogen | IEEE Journals & Magazine | IEEE Xplore