H Miki, On
unramified Abelian extensions of a complete field under a
discrete valuation with arbitrary residue field of
characteristic p≠0 and its application to wildly ramified
Zp–extensions, J. Math. Soc. Japan 29
(1977) 363–371 MR0437507
7
J Neukirch, Class
field theory, Grundlehren der Mathematischen
Wissenschaften, Springer (1986) MR819231