Formal syntax and semantics of Java / - Alves-Foss, James (Springer, 1999)