TY  - BOOK
AU  - Alves-Foss, James
TI  - Formal syntax and semantics of Java
SN  - 9783540661580
SN  - 99035369
U1  - 005.133 J ALV 
PY  - 1999///
CY  - Berlin
PB  - Springer
KW  - Java (Computer program language)
KW  - Programming languages (Electronic computers) - Semantics
N1  - Includes bibliographical references
ER  -