Formal Syntax and Semantics of Java - Alves-Foss, Jim; Alves-Foss, Jim (Springer Berlin Heidelberg : Imprint: Springer, 1999)