United States. Bureau of the Budget and United States. Office of Management and Budget. "Budget Financing and Outstanding Debt," in United States. Bureau of the Budget and United States. Office of Management and Budget. "Fiscal Year 1980," Budget of the United States Government (January 22, 1979) : 528-528. https://fraser.stlouisfed.org/title/54/item/19034/toc/168731 , accessed on March 18, 2024.