L.: Formalizing the safety of Java, the Java virtual machine, and Java card (2001)

by P H Hartel, Moreau
Venue:ACM Comput. Surv