1. [1] J. Arthur, A stable trace formula, III: Proof of the main theorems, Ann. of Math. (2) 158 (2003), 769–873.
2. [2] J. Arthur, “An introduction to the trace formula” in Harmonic Analysis, the Trace Formula, and Shimura Varieties, Clay Math. Proc. 4, Amer. Math. Soc., Providence, 2005, 1–263.
3. [3] J. Arthur, The Endoscopic Classification of Representations: Orthogonal and Symplectic Groups, Amer. Math. Soc. Colloq. Publ. 61, Amer. Math. Soc., Providence, 2013.
4. [4] J. Arthur and L. Clozel, Simple Algebras, Base Change, and the Advanced Theory of the Trace Formula, Ann. of Math. Stud. 120, Princeton Univ. Press, Princeton, 1989.
5. [5] T. Barnet-Lamb, T. Gee, and D. Geraghty, The Sato-Tate conjecture for Hilbert modular forms, J. Amer. Math. Soc. 24 (2011), 411–469.