The Beam-Programming System of the Bevatron | IEEE Journals & Magazine | IEEE Xplore