TY  - BOOK
AU  - Stark, Robert F.
AU  - Schmid, Joachim
TI  - Java and the Java virtual machine: definition, verification, validation
SN  - 3540420886
U1  - 005.133 
PY  - 2001///
CY  - Berlin
PB  - Springer
KW  - Java Programming Language
KW  - Virtual Computer System
ER  -