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 1988," Budget of the United States Government (January 5, 1987) : 284-284. https://fraser.stlouisfed.org/title/54/item/18994/toc/254561 , accessed on April 25, 2024.