United States. Bureau of the Budget and United States. Office of Management and Budget. "Budget Financing and Debt," in United States. Bureau of the Budget and United States. Office of Management and Budget. "Fiscal Year 1986," Budget of the United States Government (February 4, 1985) : 551-551. https://fraser.stlouisfed.org/title/54/item/18992/toc/430019 , accessed on March 28, 2024.