Class field theory. - Artin, Emil; Tate, John (Addison-Wesley, 1990)