Electron beam system of the Tevatron Electron Lens | IEEE Conference Publication | IEEE Xplore