Sophia Drossopoulou Susan Eisenbach Describing the Semantics of Java and Proving Type Soundness. 41-82 http://link.springer.de/link/service/series/0558/bibs/1523/15230041.htm 1999 conf/java/1999formal Formal Syntax and Semantics of Java db/conf/java/formal99.html#DrossopoulouE99