I am looking for a book that covers expander graphs rigorously. Preferably a book aimed at beginners.