Invitation to higher local fields, Part I, section 4: Cohomological   symbol for henselian discrete valuation fields of mixed characteristic
  This is a sketch of main steps of the proof of Bloch--Kato's theorem which states that the norm residue homomorphism   K_q(K)/m\to H^q(K,\Bbb Z/m(q)) is an isomorphism for a henselian discrete valuation field K of characteristic 0 with residue field of positive characteristic. 
Jinya Nakamura