United States. Bureau of the Budget
and United States. Office of Management and Budget. "Fiscal Year 2012,"
Budget of the United States Government - Appendix
(February 14, 2011).
https://fraser.stlouisfed.org/title/233/item/5766, accessed on July 4, 2025.