Zhenyu Qian Allen Goldberg Alessandro Coglio A formal specification of Java<sup>TM</sup> class loading. 325-336 2000 OOPSLA http://doi.acm.org/10.1145/353171.353193 db/conf/oopsla/oopsla2000.html#QianGC00