United States. Bureau of the Budget and United States. Office of Management and Budget. "On-Budget and Off-Budget Receipts and Outlays," 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) : 313-314. https://fraser.stlouisfed.org/title/54/item/18994/toc/254575 , accessed on April 19, 2024.