Extremal Graphs Without 4-Cycles
  We prove an upper bound for the number of edges a C4-free graph on q^2 + q vertices can contain for q even. This upper bound is achieved whenever there is an orthogonal polarity graph of a plane of even order q. 
Frank A. Firke, Peter M. Kosek, Evan D. Nash, Jason Williford
math.CO