Lecture note by Fraydoun Rezakhanlou (http://math.berkeley.edu/~rezakhan/randommatrix.pdf). The lecture note contains detailed calculations and estimates for the Dyson sine kernel and the bulk universality.