United States. Bureau of the Budget and United States. Office of Management and Budget. "Budget Totals," 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) : 516-517. https://fraser.stlouisfed.org/title/54/item/19034/toc/168721 , accessed on March 29, 2024.