@InProceedings{oopsla00,
  author = 	 {Zhenyu Qian and
                  Allen Goldberg and
                  Alessandro Coglio},
  title = 	 {A Formal Specification of {Java} Class Loading},
  booktitle = 	 {Proc.\ 15th {ACM} Conference on Object-Oriented Programming,
                  Systems, Languages, and Applications ({OOPSLA'00})},
  pages = 	 {325--336},
  year = 	 {2000},
  volume = 	 {35},
  number =       {10},
  series = 	 {ACM SIGPLAN Notices},
  month = 	 {October}
}