A Penning Discharge Ion Source for High Brightness | IEEE Journals & Magazine | IEEE Xplore