United States. Bureau of the Budget. "Government Corporations and Credit Agencies," in United States. Bureau of the Budget. "Fiscal Year Ending June 30, 1946 : War Supplement," Budget of the United States Government : War Supplement (June 30, 1945) : 213-223. https://fraser.stlouisfed.org/title/422/item/7260/toc/419212 , accessed on May 8, 2024.