Publication 721 Tax Guide to U.S. Civil Service Retirement Benefits https://www.irs.gov/pub/irs-pdf/p721.pdf
