Theory of the Alternating-Gradient Synchrotron