Describing the semantics of Java and proving type soundness (1999)

by S Drossopoulou, S Eisenbach
Venue:Formal Syntax and Semantics of Java, LNCS 1523