Formalizing Java Dynamic Loading in HOL. - Tian-jun Zuo; Jun-gang Han; Ping Chen (TPHOLs, 2004)