About Publication 721, Tax Guide to U.S. Civil Service Retirement Benefits