A Penning-type ion source with an expansion cup for impact processes | IEEE Journals & Magazine | IEEE Xplore