Formal Syntax and Semantics of Java (Lecture Notes in Computer Science, 1523)

Not for programmers. With a highly theoretical content. Knowledge on Formal notation is required (logic, inference, et al). It could be useful for comercial compiler implementation or comercial JVM implemetation. It covers: Java Formal Grammar, Type Soundness and Type Safety proofs,and so on. Have a lot of bibliography.