Class field theory - Artin, Emil 1898-1962; Tate, John Torrence 1925-2019 (Addison-Wesley, 1990)