United States. Bureau of the Budget and United States. Office of Management and Budget. "Part III. 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, 1948," Budget of the United States Government (January 3, 1947) : 1147-1148. https://fraser.stlouisfed.org/title/54/item/19001/toc/348677 , accessed on May 4, 2024.