Jim Alves-Foss, Deborah A. Frincke: Formal Grammar for Java. Formal Syntax and Semantics of Java 1999: 1-40