United States. Bureau of the Budget and United States. Office of Management and Budget. "Off-Budget Federal Entities," in United States. Bureau of the Budget and United States. Office of Management and Budget. "Fiscal Year 1989," Budget of the United States Government (February 18, 1988) : 548-548. https://fraser.stlouisfed.org/title/54/item/18995/toc/417231 , accessed on September 27, 2023.