The uniqueness of the strongly regular graph on 77 points - Brouwer, Andries E. (Math.Centrum, 1980)