@TechReport{loading,
  author = 	 {Zhenyu Qian and
                  Allen Goldberg and
                  Alessandro Coglio},
  title = 	 {A Formal Specification of {Java} Class Loading},
  institution =  {Kestrel Institute},
  year = 	 {2000},
  type = 	 {Technical Report},
  month = 	 {April},
  note =         {Revised July 2000}
}