United States. Bureau of the Budget and United States. Office of Management and Budget. "Government Corporations and Credit Agencies," in United States. Bureau of the Budget and United States. Office of Management and Budget. "Fiscal Year Ending June 30, 1945," Budget of the United States Government (January 10, 1944) : 100-100. https://fraser.stlouisfed.org/title/54/item/18988/toc/127728 , accessed on March 29, 2024.