United States. Bureau of the Budget and United States. Office of Management and Budget. "Fiscal Year 2013," Budget of the United States Government (February 13, 2012). https://fraser.stlouisfed.org/title/54/item/19059, accessed on September 19, 2024.