Friedman. Formal Zeta Function Expansions and the Frequency of Ramanujan Graphs. 17 June 2014.