@inproceedings{OOPSLA-2000-QianGC,
	author        = "Zhenyu Qian and Allen Goldberg and Alessandro Coglio",
	booktitle     = "{Proceedings of the 15th Conference on Object-Oriented Programming, Systems, Languages and Applications}",
	doi           = "10.1145/353171.353193",
	editor        = "Mary Beth Rosson and Doug Lea",
	isbn          = "1-58113-200-X",
	pages         = "325--336",
	publisher     = "{ACM}",
	title         = "{A formal specification of JavaTM class loading}",
	year          = 2000,
}