Invitation to higher local fields, Part I, section 10: Explicit higher   local class field theory
  This is a presentation of explicit methods to construct higher local class field theory by using topological K-groups, explicit symbols and a generalization of Neukirch-Hazewinkel's axiomatic approaches. The existence theorem is discussed as well. 
Ivan Fesenko