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 1986," Budget of the United States Government (February 4, 1985) : 532-538. https://fraser.stlouisfed.org/title/54/item/18992/toc/430006 , accessed on April 23, 2024.