A formal speci of Java TM class loading. Long version. http://www.kestrel.edu/java (2000)

by Z Qian, A Goldberg, A Coglio