The 4-8 GHz stochastic cooling upgrade for the Fermilab Debuncher | IEEE Conference Publication | IEEE Xplore