United States. Bureau of the Budget and United States. Office of Management and Budget. "Fiscal Year Ending June 30, 1957," Budget of the United States Government (January 16, 1956). https://fraser.stlouisfed.org/title/54/item/19010, accessed on February 16, 2025.