TY  - BOOK
AU  - Stark Robert F
AU  - Borger Egon
AU  - Schmid Joachim
TI  - Java and the Java virtual machine: definition, verification, validation
SN  - 3-540-42088-6
U1  - 005.133 
PY  - 2001///
CY  - Berlin
PB  - Springer-Verlag
KW  - Computer programming
KW  - Computer programming languages
KW  - Java(Computer program language)
ER  -