United States. Bureau of the Budget and United States. Office of Management and Budget. "Budget Authority by Agency," in United States. Bureau of the Budget and United States. Office of Management and Budget. "Fiscal Year 1987," Budget of the United States Government (February 5, 1986) : 595-596. https://fraser.stlouisfed.org/title/54/item/18993/toc/338499 , accessed on April 23, 2024.