Summary of experience with industrial superconducting main magnet production for HERA | IEEE Journals & Magazine | IEEE Xplore