Class field theory : from theory to practice - Gras, Georges , 1944-. (Springer, 2003)