P. Sarnak

• Analytic Theory of Automorphic Forms (Cambridge Tracts in Mathematics)
• Permutation Group Algorithms