Class Field Theory - Artin, E. ; Tate, J.