Dynamic Denotational Semantics of Java. - Jim Alves-Foss; Fong Shing Lam (Formal Syntax and Semantics of Java, 1999)