An ECR-Type Light Ion Source for the Karlsruhe Isochronous Cyclotron | IEEE Journals & Magazine | IEEE Xplore