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

by S Drossopoulou, S Eisenbach
Venue:Formal Syntax and Semantics of Java, Lecture Notes in Computer Science