TY  - BOOK
AU  - Alves-Foss,James
TI  - Formal syntax and semantics of Java
SN  - 3540661581 
AV  - QA76.73.J38 F67 1999
PY  - 1999///
CY  - New York
PB  - Springer
KW  - Java (Computer program language)
KW  - Programming languages (Electronic computers)
KW  - Semantics
N1  - Includes bibliographical references
ER  -