This lecture explains refraction through phase matching instead of Snell's law, and then goes onto to discuss the critical angle and Brewster's angle.
No download links available.