United States. Bureau of the Budget and United States. Office of Management and Budget. "War Department," in United States. Bureau of the Budget and United States. Office of Management and Budget. "Fiscal Year Ending June 30, 1947 : Corporation Supplement," Budget of the United States Government (May 2, 1946) : 419-438. https://fraser.stlouisfed.org/title/54/item/18999/toc/297806 , accessed on March 29, 2024.