United States. Bureau of the Budget and United States. Office of Management and Budget. "Fiscal Year 1980," Budget of the United States Government - Appendix (January 22, 1979). https://fraser.stlouisfed.org/title/233/item/5734, accessed on August 21, 2024.