Formalization and analysis of class loading in JavaAkihiko TozawaMasami Hagiya2002Higher-Order and Symbolic Computation