Jim Alves-Foss: Formal Syntax and Semantics of Java. Lecture Notes in Computer Science 1523, Springer 1999, ISBN 3-540-66158-1