Electron cooling for the fermilab p source | IEEE Journals & Magazine | IEEE Xplore