A very through (altough a bit dense) modern treatment is given in the article of Einsiedler,Lindenstrauss,Michel and Venkatesh about the ergodic theoretical proof of Duke's theorem (which is not unrelated to Gregely's notes) - http://www.ma.huji.ac.il/~elon/Publications/Erg-Duke.pdf.