A formal speci of JavaTM class loading (2000)

by Z Qian, A Goldberg, A Coglio
Venue:35.10 ACM Sigplan Notices (2000