United States. Bureau of the Budget and United States. Office of Management and Budget. "Fiscal Year 2012," Budget of the United States Government (February 14, 2011). https://fraser.stlouisfed.org/title/54/item/19058, accessed on June 19, 2025.