Alves-Foss,Jim Formal syntax and semantics of Java / Alves-Foss,Jim. - Berlin: Springer, 1999. - viii,404p;26cm - Lecture Notes in Computer Science,No.1523 . Includes bibliographical references. ISBN: 3540661581 Dewey Class. No.: 005.133 ALV