United States. Bureau of the Budget and United States. Office of Management and Budget. "Fiscal Year 2020," Budget of the United States Government - Appendix (March 18, 2019). https://fraser.stlouisfed.org/title/233/item/583062, accessed on May 3, 2024.
United States Government Publishing Office