United States. Bureau of the Budget and United States. Office of Management and Budget. "Summary of Budget Authorizations and Expenditures by Agency," in United States. Bureau of the Budget and United States. Office of Management and Budget. "Fiscal Year Ending June 30, 1952," Budget of the United States Government (January 15, 1951) : 78-81. https://fraser.stlouisfed.org/title/54/item/19005/toc/48027 , accessed on May 5, 2024.