Formalization and analysis of class loading (2002)

by A Tozawa, M Hagya
Venue:in Java. Higher Order and Symbolic Computation