Nabil Kahalé: Better Expansion for Ramanujan Graphs. FOCS 1991: 398-404