A Formal Specification of Java Class Loading (2000)

by Zhenyu Qian, Allen Goldberg, Alessandro Coglio, Ro Coglio