United States. Bureau of the Budget and United States. Office of Management and Budget. "Fiscal Year Ending June 30, 1958," Budget of the United States Government (January 16, 1957). https://fraser.stlouisfed.org/title/54/item/19011, accessed on September 18, 2024.