Arithmeticity In The Theory Of Automorphic Forms by Goro Shimura